![Theoretical computer science / Logic in computer science / Curry–Howard correspondence / Dependently typed programming / Philosophy of computer science / Type theory / Natural deduction / Lambda calculus / Valuation / Proof theory / Mathematics / Mathematical logic Theoretical computer science / Logic in computer science / Curry–Howard correspondence / Dependently typed programming / Philosophy of computer science / Type theory / Natural deduction / Lambda calculus / Valuation / Proof theory / Mathematics / Mathematical logic](https://www.pdfsearch.io/img/aeae0480df2e4326d3214617d01344c3.jpg)
| Document Date: 2010-11-23 12:28:12 Open Document File Size: 304,88 KBShare Result on Facebook
City Reading / Montreal / / Currency USD / / / Facility University Paris / / IndustryTerm nested applications / / OperatingSystem Sequent / / Organization CA V / / Person Pierre-Louis Curien Hugo Herbelin / / / Position second author / / ProvinceOrState Minnesota / /
SocialTag |