First Page | Document Content | |
---|---|---|
Date: 2011-08-11 17:16:11Lambda calculus Formal methods Theoretical computer science Type theory Models of computation De Bruijn index Free variables and bound variables Combinatory logic Hindley–Milner Software engineering Mathematics Computing | Constructive Computation Theory G´ erard Huet An executable computability theory course based on λ-calculusAdd to Reading ListSource URL: pauillac.inria.frDownload Document from Source WebsiteFile Size: 306,02 KBShare Document on Facebook |