Publication View

References (2008)

Publication details

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.2709
Source	http://www-2.cs.cmu.edu/afs/cs.cmu.edu/project/fox-19/member/jcr/www15812As2008/resbooks.ps
Contributors	CiteSeerX
Repository	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords	4] Hendrik Pieter Barendregt. The Lambda Calculus, Its Syntax and Semantics, volume
Type	text
Language	English