Constructive Computation Theory G´ erard Huet An executable computability theory course based on λ-calculus - De Bruijn index - Document - PDFSEARCH.IO

First Page	Meta Content
	Constructive Computation Theory G´ erard Huet An executable computability theory course based on λ-calculus Add to Reading List Document Date: 2011-08-11 17:16:11 Open Document File Size: 306,02 KB Share Result on Facebook City Bangkok / Paris / / Country Thailand / / / IndustryTerm ohm-out algorithm / rec search / else search / / Organization Computer Science Division of AIT / CONTENTS Chapter / Ecole Programmation / / Position author / normal interpreter / General / binding abstractor / Coq proof assistant / / ProgrammingLanguage Objective Caml / ML / Camlp4 / / Technology Functional Programming / ohm-out algorithm / / URL http / SocialTag Lambda 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

Constructive Computation Theory G´ erard Huet An executable computability theory course based on λ-calculusAdd to Reading List