Home Advanced Search

Advanced Search - Page 1

Semantics and logics of computation
  • DJVU
  • English
  • Year: 2009
  • Author: Andrew M. Pitts, P. Dybjer
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]
  • DJVU
  • English
  • Year: 1997
  • Author: Pitts Andrew M., Dybjer P. (eds.)
Category Theory and Computer Science: Manchester, UK, September 5–8, 1989 Proceedings
  • PDF
  • English
  • Year: 1989
  • Author: Guiseppe Longo (auth.), David H. Pitt, David E. Rydeheard, Peter Dybjer, Andrew M. Pitts, Axel Poigné (eds.)
Notes on Categorical Logic
  • PDF
  • English
  • Year: 1989
  • Author: Andrew M. Pitts
Categorical Logic
  • PDF
  • English
  • Year: 1995
  • Author: Andrew M. Pitts
Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991
  • DJVU
  • English
  • Year: 1992
  • Author: M. P. Fourman, P. T. Johnstone, A. M. Pitts
Applications of Categories in Computer Science: Proc. London Math. Soc. Symp., Durham 1991
  • DJVU
  • English
  • Year: 1992
  • Author: M. P. Fourman, P. T. Johnstone, A. M. Pitts
Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991
  • PDF
  • English
  • Year: 1992
  • Author: M. P. Fourman, P. T. Johnstone, A. M. Pitts
Applications of Categories in Computer Science: Proceedings of the LMS Symposium, Durham 1991
  • PDF
  • English
  • Year: 1992
  • Author: M. P. Fourman, P. T. Johnstone, A. M. Pitts (Editors)
Foundations of Software Science and Computation Structures: 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Andrew Pitts (eds.)
search