Back to Results
First PageMeta Content
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


Jean-Louis Krivine LAMBDA-CALCULUS
Add to Reading List

Document Date: 2013-07-01 11:36:37

Open Document

File Size: 1,11 MB

Share 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