Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2005 Springer Science + Business Media, Inc.
About this chapter
Cite this chapter
(2005). A Correspondence between RTT and the system Nuprl. In: A Modern Perspective on Type Theory. Applied Logic Series, vol 29. Springer, Dordrecht. https://doi.org/10.1007/1-4020-2335-9_7
Download citation
DOI: https://doi.org/10.1007/1-4020-2335-9_7
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-2334-7
Online ISBN: 978-1-4020-2335-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)