Scott encoding of data types for the lambda calculus
47 views
Skip to first unread message
Bernie Pope
Nov 7, 2010, 9:25:48 PM11/7/10
to fpu...@googlegroups.com
In Ben's talk today the Scott encoding of data types in the lambda calculus was raised.
A while ago I wrote some notes on the encoding, which may be of interest to those who haven't heard of it before:
http://www.berniepope.id.au/docs/scott_encoding.txt
Cheers,
Bernie.
Reply all
Reply to author
Forward
0 new messages