Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/3443
Title: Continuity and Discontinuity in Lambda Calculus
Authors: Severi, Paula
de Vries, Fer-Jan
First Published: 2005
Citation: Typed Lambda Calculus and Applications, Proceedings of the 7th International Conference, TLCA 2005, Nara Japan, April 21-23 2005. Lecture Notes in Computer Science 3461, pp. 369-385
ISBN: 9783540255932
Links: http://www.cs.le.ac.uk/people/ferjan/fdv1/Distribution/tlca05.pdf
http://hdl.handle.net/2381/3443
Type: Conference paper
Appears in Collections:Conference Papers & Presentations, Dept. of Computer Science

Files in This Item:
There are no files associated with this item.


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.