![Lambda calculus / Programming language theory / Proof theory / Curry–Howard correspondence / Philosophy of computer science / Type theory / Combinatory logic / Natural deduction / Normalisation by evaluation / Logic in computer science / Theoretical computer science / Mathematical logic Lambda calculus / Programming language theory / Proof theory / Curry–Howard correspondence / Philosophy of computer science / Type theory / Combinatory logic / Natural deduction / Normalisation by evaluation / Logic in computer science / Theoretical computer science / Mathematical logic](https://www.pdfsearch.io/img/c6d8136d687762dac30ea61ed0a6a800.jpg)
| Document Date: 2005-10-05 14:17:27 Open Document File Size: 212,81 KBShare Result on Facebook
City Paris / / Company Computer Society Press / Section 1 / / Event Product Recall / Product Issues / / Facility Computer Laboratory University of Cambridge Roberto Di Cosmo PPS / / IndustryTerm finite products / monomorphic type systems / library search tools / / Organization Types∗† Marcelo Fiore‡ Computer Laboratory University / / Person Marcelo Fiore / Vincent Balat / / Product basic definitions / / Technology Functional Programming / /
SocialTag |