Publication View

Infinitary Lambda Calculus and Discrimination of Berarducci trees (2003)

Publication details

Download	http://dx.doi.org/10.1016/S0304-3975(02)00809-5 http://hdl.handle.net/2381/1810
Repository	Leicester Research Archive (United Kingdom)
Type	Article
Language	English