bookmark

Scott: Relating Theories of the Lambda-Calculus

http://gtps.math.cmu.edu/cebrown/notes/scott80.html

Description

I want to find a version of this with the notation intact--it's supposed to be very good.

Preview

Tags

Users

Comments and Reviewsshow / hide

Please log in to take part in the discussion (add own reviews or comments).