Changes

Jump to: navigation, search

VTLUUG:2016-03-24

1 byte removed, 21:45, 25 March 2016
→‎Lambda Calculus for Babies: Retarded Babies
[https://linx.vtluug.org/selif/97s2gvcx.pdf Slides]
 
=== Alpha equivalence ===
Anonymous user
Retrieved from "https://vtluug.org/wiki/Special:MobileDiff/6225"

Navigation menu