The ∇-Calculus. Functional Programming with Higher-order Encodings. Carsten Sch¨ urmann, Adam Poswolsky, Jeffrey Sarnat Yale University - Higher-order logic - Document - PDFSEARCH.IO

First Page	Meta Content
	The ∇-Calculus. Functional Programming with Higher-order Encodings. Carsten Sch¨ urmann, Adam Poswolsky, Jeffrey Sarnat Yale University Add to Reading List Document Date: 2004-11-03 09:40:39 Open Document File Size: 225,06 KB Share Result on Facebook

The ∇-Calculus. Functional Programming with Higher-order Encodings. Carsten Sch¨ urmann, Adam Poswolsky, Jeffrey Sarnat Yale UniversityAdd to Reading List