Böhm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms

Find Full text
Thumbnail
Fulltext:
33258.pdf
Size:
160.5Kb
Format:
PDF
Description:
Author’s version preprint
Download
Publication year
2005
Author(s)
Statman, R.
Barendregt, H.P.
Publisher
Berlin ; New York : Springer
Series
Lecture notes in computer science ; 3838
ISBN
354030911X
In
Middeldorp, A.; Oostrum, V. van (ed.), Processes, Terms and Cycles: Steps on the Road to Infinity/, Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday, pp. 40-54
DOI
Publication type
Part of book or chapter of book
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/33258   https://hdl.handle.net/2066/33258
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.