10 results
Contributors
-
-
- Book:
- The Cambridge Dictionary of Christianity
- Published online:
- 05 August 2012
- Print publication:
- 20 September 2010, pp xi-xliv
-
- Chapter
- Export citation
! and ? – Storage as tensorial strength
-
- Journal:
- Mathematical Structures in Computer Science / Volume 6 / Issue 4 / August 1996
- Published online by Cambridge University Press:
- 04 March 2009, pp. 313-351
-
- Article
- Export citation
Differential categories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 6 / December 2006
- Published online by Cambridge University Press:
- 01 November 2006, pp. 1049-1083
-
- Article
- Export citation
The logic of linear functors
-
- Journal:
- Mathematical Structures in Computer Science / Volume 12 / Issue 4 / August 2002
- Published online by Cambridge University Press:
- 16 September 2002, pp. 513-539
-
- Article
- Export citation
Bart Jacobs. Categorical logic and type theory. Studies in logic and the foundations of mathematics, vol. 141. Elsevier, Amsterdam etc. 1999, xvii + 760 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 6 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 15 January 2014, pp. 225-229
- Print publication:
- June 2000
-
- Article
- Export citation
Introduction
-
- Journal:
- Mathematical Structures in Computer Science / Volume 10 / Issue 2 / April 2000
- Published online by Cambridge University Press:
- 01 April 2000, pp. 97-98
-
- Article
-
- You have access
- Export citation
Introduction to linear bicategories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 10 / Issue 2 / April 2000
- Published online by Cambridge University Press:
- 01 April 2000, pp. 165-203
-
- Article
- Export citation
Categorical semantics for higher order polymorphic lambda calculus
-
- Journal:
- The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
- Published online by Cambridge University Press:
- 12 March 2014, pp. 969-989
- Print publication:
- December 1987
-
- Article
- Export citation
Locally cartesian closed categories and type theory
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 95 / Issue 1 / January 1984
- Published online by Cambridge University Press:
- 24 October 2008, pp. 33-48
- Print publication:
- January 1984
-
- Article
- Export citation