Year | DOI | Venue |
---|---|---|
1979 | 10.1007/3-540-09526-8_56 | MFCS |
Keywords | Field | DocType |
lambda calculus | Hindley–Milner type system,Discrete mathematics,Lambda calculus,Simply typed lambda calculus,Normalisation by evaluation,Typed lambda calculus,Computer science,Church encoding,Syntax,Calculus | Conference |
Citations | PageRank | References |
1 | 7.39 | 1 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Gérard Berry | 1 | 1402 | 153.04 |
Jean-jacques Lévy | 2 | 932 | 95.41 |