First Page | Document Content | |
---|---|---|
Date: 2013-07-01 11:36:37Lambda 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-CALCULUSAdd to Reading ListSource URL: www.pps.univ-paris-diderot.frDownload Document from Source WebsiteFile Size: 1,11 MBShare Document on Facebook |