Dan Licata - Author Profile

Edit Profile

Licata, Dan

Author ID:	licata.dan
Published as:	Licata, Dan

Documents Indexed:	0 Publications
	1 Contribution as Editor · 2 Further Contributions
Co-Authors:	1 Co-Author with 2 Joint Publications
	20 Co-Co-Authors

all top 5

0	single-authored
2	Angiuli, Carlo
2	Hou (Favonia), Kuen-Bang
2	Lumsdaine, Peter LeFanu
1	Acar, Umut A.
1	Aczel, Peter
1	Agarwal, Ashish
1	Ahrens, Benedikt
1	Altenkirch, Thorsten
1	Avigad, Jeremy
1	Awodey, Steve
1	Barras, Bruno
1	Bauer, Andrej
1	Bertot, Yves
1	Bezem, Marc
1	Bordg, Anthony
1	Brunerie, Guillaume
1	Cavallo, Evan
1	Cheng, Perry
1	Cohen, Cyril
1	Constable, Robert Lee
1	Coquand, Thierry
1	Curien, Pierre-Louis
1	Dreyer, Derek R.
1	Dybjer, Peter
1	Finster, Eric
1	Gambino, Nicola
1	Garner, Richard
1	Gonthier, Georges
1	Grayson, Daniel Richard
1	Hales, Thomas Callister
1	Harper, Robert
1	Herbelin, Hugo
1	Hofmann, Martin
1	Hofstra, Pieter J. W.
1	Hötzel Escardó, Martín
1	Joyal, André
1	Kapulkin, Krzysztof
1	Kock, Joachim
1	Kraus, Nicolai
1	Li, Nuo
1	Luo, Zhaohui
1	Mahboubi, Assia
1	Martin-Löf, Per
1	Melikhov, Sergey Aleksandrovich
1	Morrisett, Greg
1	Murphy, Tom VII
1	Nahas, Michael
1	Palmgren, Erik
1	Pelayo, Alvaro
1	Petersen, Leaf
1	Pierce, Benjamin C.
1	Polonsky, Andrew
1	Riehl, Emily
1	Rijke, Egbert
1	Scott, Dana Stewart
1	Scott, Philip J.
1	Shulman, Michael A.
1	Sojakova, Kristina
1	Solov’ëv, Sergeĭ Vladimirovich
1	Sozeau, Matthieu
1	Spitters, Bas
1	Spoonhower, Daniel
1	Sterling, Jonathan
1	Stone, Christopher A.
1	Tassarotti, Joseph
1
1	Van den Berg, Benno
1	Voevodskiĭ, Vladimir Aleksandrovich
1	Warren, Michael Alton
1	Zeilberger, Noam

1	MSCS. Mathematical Structures in Computer Science
1	Journal of Functional Programming

2	General and overarching topics; collections (00-XX)
2	Mathematical logic and foundations (03-XX)
2	Category theory; homological algebra (18-XX)
2	Algebraic topology (55-XX)
1	History and biography (01-XX)