Semantics and logics of computation: [... summer school on Semantics and Logics of Computation at the Isaac Newton Institute for Mathematical Sciences, Cambridge UK, in September 1995]
- Author
- Pitts Andrew M., Dybjer P. (eds.)
- Publisher
- Cambridge University Press
- Language
- English
- Edition
- 1. publ
- Year
- 1997
- Page
- 361
- ISBN
- 978-0-521-58057-1,0521580579
- File Type
- djvu
- File Size
- 2.0 MiB
How to Download?!!!
Just click on START button on Telegram Bot