Year | Venue | Field |
---|---|---|
2010 | LAM@LICS | Semantic memory,Simply typed lambda calculus,Algebra,Typed lambda calculus,Normalisation by evaluation,Calculus of constructions,Dependent type,Mathematics,Calculus |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
3 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Michael Mendler | 1 | 314 | 34.60 |
Stephan Scheele | 2 | 17 | 4.36 |