AUT100 | All material (C)opyright
2004 - The Automath Archive, Eindhoven University of Technology |
Title: | Lambda Calculus extended with Segments |
Author: | H. Blasters |
Printed: | PhD Tehsis |
Publishing date: | March 1986 |
Publishing location: | Department of Mathematics, Eindhoven University of Technology |
Pages: | 129 |
Language: | English |
Note: | Parts also published in Selected Papers on Automath, Studies in Logic and the Foundations of Mathematics, Vol. 133, Ed. R.P. Nederpelt, J.H. Geuvers and R.C. de Vrijer, chapter B8, pp. 339-368 |
Browse: | Click here to browse a webversion of this article |
Download this article: | FAX-TIFF format, zip compressed |
FAX-TIFF format, tar compressed | |
PDF version | |
JPG version |