Lambda - two simple interpreters for the Lambda Calculus one strict, one lazy, with example programs.

Www.mactech.com is the global entry point for technology information for the Apple Macintosh. Find links to all Apple Macintosh technology content here.

Logic and Philosophy of Logic Dual Identity Combinators(1) Katalin Bimb Indiana University kbimbo@phil.indiana.edu ABSTRACT: This paper offers an analysis of the effect of the identity combinators in dual systems. The result is based on an easy technical trick, namely, that the identity combinators collapse all the combinators which are dual with respect to them. (Dual combinators were ...