Church and Curry: Combining Intrinsic and Extrinsic Typing Frank Pfenning 1 Introduction - Computability theory - Document - PDFSEARCH.IO

First Page	Meta Content
	Church and Curry: Combining Intrinsic and Extrinsic Typing Frank Pfenning 1 Introduction Add to Reading List Document Date: 2008-04-11 09:45:18 Open Document File Size: 212,25 KB Share Result on Facebook Company Case / / Organization Calculus Church / Introduction Church / / Person Frank Pfenning / / Position head / / ProgrammingLanguage R / / Technology functional programming / / SocialTag Lambda calculus Theoretical computer science MUMPS Computer science Computing Data management Computability theory

Church and Curry: Combining Intrinsic and Extrinsic Typing Frank Pfenning 1 IntroductionAdd to Reading List