Survey
* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project
Download Notes on Simply Typed Lambda Calculus
Document related concepts
Laws of Form wikipedia , lookup
Mathematical proof wikipedia , lookup
Busy beaver wikipedia , lookup
Computable function wikipedia , lookup
Intuitionistic type theory wikipedia , lookup
Algorithm characterizations wikipedia , lookup
Unification (computer science) wikipedia , lookup
History of the function concept wikipedia , lookup
Recursion (computer science) wikipedia , lookup
Lambda calculus wikipedia , lookup
Transcript
