Year | DOI | Venue |
---|---|---|
1991 | 10.1109/LICS.1991.151645 | SIXTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE: PROCEEDINGS |
Keywords | Field | DocType |
computer languages,formal logic,evaluation function,completeness theorem,typed lambda calculus,inverse,arithmetic,calculus | Deductive lambda calculus,Discrete mathematics,Simply typed lambda calculus,Typed lambda calculus,Fixed-point combinator,System F,Lambda lifting,Church encoding,Pure type system,Mathematics | Conference |
Citations | PageRank | References |
59 | 4.44 | 0 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ulrich Berger | 1 | 197 | 18.25 |
Helmut Schwichtenberg | 2 | 373 | 44.83 |