Publication View

Infinitary Lambda Calculus (2007)

Abstract

and their applications. SMC is sponsored by the Netherlands Organization for Scientific Research (NWO). CWI is a member of

Publication details

Download	http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.29.5140
Source	ftp://ftp.cwi.nl/pub/CWIreports/AP/CS-R9535.ps.Z
Contributors	CiteSeerX
Repository	CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords	infinitary lambda calculus
Type	text
Language	English