Author Info
Name
Papers
Collaborators
T. COQUAND
3
4
Citations 
PageRank 
Referers 
135
13.55
216
Referees 
References 
40
27
Search Limit
100216
Title
Citations
PageRank
Year
Stack semantics of type theory40.572017
Inductively defined types11310.291988
Extensional models for polymorphism182.701987