Search results

Beta normal form
ISBN 0-201-41667-0. OCLC 23287456. Thompson, Simon (1991). Type theory and functional programming. Wokingham, England: Addison-Wesley. p. 36. ISBN 0-201-41667-0...

7 KB (1,125 words) - 21:34, 26 August 2024
Free variables and bound variables
and functional programming. Wokingham, England: Addison-Wesley. ISBN 0201416670. OCLC 23287456. Wolf, Robert S. (2005). A Tour through Mathematical Logic...

15 KB (2,227 words) - 11:34, 3 September 2024
Intuitionistic type theory
(1991). Type Theory and Functional Programming. Addison-Wesley. ISBN 0-201-41667-0. Granström, Johan G. (2011). Treatise on Intuitionistic Type Theory...

31 KB (4,697 words) - 20:09, 12 October 2024
Type theory
(1991). Type Theory and Functional Programming. Addison–Wesley. ISBN 0-201-41667-0. Archived from the original on 2021-03-23. Retrieved 2006-04-03. Hindley...

59 KB (7,869 words) - 19:35, 13 September 2024
Curry–Howard correspondence
(1991), Type Theory and Functional Programming, Addison–Wesley, ISBN 0-201-41667-0. Poernomo, Iman; Crossley, John; Wirsing; Martin (2005), Adapting Proofs-as-Programs:...

56 KB (6,174 words) - 20:47, 8 September 2024