Publikationsansicht

Infinitary Lambda Calculus and Discrimination of Berarducci trees (2003)

Details der Publikation

Download	http://dx.doi.org/10.1016/S0304-3975(02)00809-5 http://hdl.handle.net/2381/1810
Archiv	Leicester Research Archive (United Kingdom)
Typ	Article
Sprache	Englisch