<--- Back to Details
First PageDocument Content
Lambda calculus / Theoretical computer science / Mathematical logic / Declarative programming / Adjoint functors / Anonymous function / Type theory / Lambda lifting
Date: 2012-08-03 13:27:17
Lambda calculus
Theoretical computer science
Mathematical logic
Declarative programming
Adjoint functors
Anonymous function
Type theory
Lambda lifting

Category Theory for Program Construction by Calculation Lambert Meertens CWI, Amsterdam and Department of Computing Science, Utrecht University

Add to Reading List

Source URL: www.kestrel.edu

Download Document from Source Website

File Size: 467,39 KB

Share Document on Facebook

Similar Documents

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1472) HITCHIN TYPE MODULI STACKS IN AUTOMORPHIC REPRESENTATION THEORY Zhiwei Yun (恽之玮)

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–1472) HITCHIN TYPE MODULI STACKS IN AUTOMORPHIC REPRESENTATION THEORY Zhiwei Yun (恽之玮)

DocID: 1xVTT - View Document

An adequacy theorem for partial type theory j.w.w. Simon Huber G¨ oteborg, May 11, 2017  An adequacy theorem for partial type theory

An adequacy theorem for partial type theory j.w.w. Simon Huber G¨ oteborg, May 11, 2017 An adequacy theorem for partial type theory

DocID: 1v8ox - View Document

E6(6) Exceptional Field Theory: Applications to Type IIB Supergravity on AdS5 ×S5 Arnaud Baguet ´ Ecole Normale Sup´

E6(6) Exceptional Field Theory: Applications to Type IIB Supergravity on AdS5 ×S5 Arnaud Baguet ´ Ecole Normale Sup´

DocID: 1v5Rr - View Document

Univalent Type Theory Thierry Coquand Tutorial for the Logic Colloquium 2016, Leeds Univalent Type Theory

Univalent Type Theory Thierry Coquand Tutorial for the Logic Colloquium 2016, Leeds Univalent Type Theory

DocID: 1uZ9e - View Document

Collection Principles in Dependent Type Theory? Peter Aczel1 and Nicola Gambino2 1  Departments of Mathematics and Computer Science, University of Manchester,

Collection Principles in Dependent Type Theory? Peter Aczel1 and Nicola Gambino2 1 Departments of Mathematics and Computer Science, University of Manchester,

DocID: 1uXqs - View Document