CS 6520 Homework 17
The lambda calculus expression
can be turned into an expression in the typed lambda calculus with iso-recursive types by
inserting a type expression at each binding of
wrapping certain expressions with an appropriate
Show the typed version of the above expression, and show its type derivation.
Last update: Thursday, March 23rd, 2000