f-calculi and the theory of fexprs John N. Shutt WPI October 2007 - Fexpr - Document - PDFSEARCH.IO

First Page	Meta Content
	f-calculi and the theory of fexprs John N. Shutt WPI October 2007 Add to Reading List Document Date: 2007-10-17 10:31:46 Open Document File Size: 786,93 KB Share Result on Facebook IndustryTerm car cdr operator operands f-calculi / / Person John N. Shutt / / SocialTag Type theory Computability theory Lambda calculus Fexpr Calculus Typed lambda calculus Type constructor Theoretical computer science Mathematical logic Applied mathematics

f-calculi and the theory of fexprs John N. Shutt WPI October 2007Add to Reading List