![Lambda calculus / Logic in computer science / Predicate logic / Combinatory logic / Type theory / Fixed-point combinator / Free variables and bound variables / Curry–Howard correspondence / System F / Theoretical computer science / Mathematics / Mathematical logic Lambda calculus / Logic in computer science / Predicate logic / Combinatory logic / Type theory / Fixed-point combinator / Free variables and bound variables / Curry–Howard correspondence / System F / Theoretical computer science / Mathematics / Mathematical logic](https://www.pdfsearch.io/img/e859f7857a6afd7b14e4a440d9b67313.jpg)
| Document Date: 2013-07-01 11:36:37 Open Document File Size: 1,11 MBShare Result on Facebook
City Paris / / Facility University of Paris / / IndustryTerm type systems / / Organization A. Church / Eta / Q.E.D. Chapter / University of Paris / / Person Jean-Louis Krivine / René Cori / Marouan Ajlani / Sonia / Michel Parigot / Robert Solovay / Darij Grinberg / Jean-Yves Girard / / Position Constable / recursive functions Head / programmer / / TVShow D.E.A. / / Technology Alpha / /
SocialTag |