Home Advanced Search

Advanced Search - Page 1

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.)

Notes on Categorical Logic

PDF
English
Year: 1989
Author: Andrew M. Pitts

Categorical Logic

PDF
English
Year: 1995
Author: Andrew M. Pitts

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.)

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)

A Practical Approach to Adolescent Bone Health : A Guide for the Primary Care Provider

PDF
English
Year: 2018
Author: Sarah Pitts,Catherine M. Gordon (eds.)

Category Theory and Computer Science: Paris, France, September 3–6, 1991 Proceedings

PDF
English
Year: 1991
Author: Thomas Ehrhard, Pasquale Malacaria (auth.), David H. Pitt, Pierre-Louis Curien, Samson Abramsky, Andrew M. Pitts, Axel Poigné, David E. Rydeheard (eds.)