11 results
Back to futures
-
- Journal:
- Journal of Functional Programming / Volume 32 / 2022
- Published online by Cambridge University Press:
- 28 February 2022, e6
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Linear logic propositions as session types
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 3 / March 2016
- Published online by Cambridge University Press:
- 10 November 2014, pp. 367-423
-
- Article
- Export citation
A Linear Logic Programming Language for Concurrent Programming over Graph Structures
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 4-5 / July 2014
- Published online by Cambridge University Press:
- 21 July 2014, pp. 493-507
-
- Article
- Export citation
Programming with Higher-Order Logic, by Dale Miller and Gopalan Nadathur , Cambridge University Press, 2012, Hardcover, ISBN-10:052187940X, xiv + 306 pp.
-
- Journal:
- Theory and Practice of Logic Programming / Volume 14 / Issue 2 / March 2014
- Published online by Cambridge University Press:
- 04 March 2014, pp. 265-267
-
- Article
- Export citation
Staged computation with names and necessity
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 6 / November 2005
- Published online by Cambridge University Press:
- 05 August 2005, pp. 893-939
-
- Article
-
- You have access
- Export citation
A monadic analysis of information flow security with mutable state
-
- Journal:
- Journal of Functional Programming / Volume 15 / Issue 2 / March 2005
- Published online by Cambridge University Press:
- 03 March 2005, pp. 249-291
-
- Article
-
- You have access
- Export citation
Benjamin C. Pierce. Types and programming languages. The MIT Press, Cambridge, Massachusetts, 2002, xxi + 623 pp.
-
- Journal:
- Bulletin of Symbolic Logic / Volume 10 / Issue 2 / June 2004
- Published online by Cambridge University Press:
- 15 January 2014, pp. 213-214
- Print publication:
- June 2004
-
- Article
- Export citation
A judgmental reconstruction of modal logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 11 / Issue 4 / August 2001
- Published online by Cambridge University Press:
- 25 July 2001, pp. 511-540
-
- Article
- Export citation
On the unification problem for Cartesian closed categories
-
- Journal:
- The Journal of Symbolic Logic / Volume 62 / Issue 2 / June 1997
- Published online by Cambridge University Press:
- 12 March 2014, pp. 636-647
- Print publication:
- June 1997
-
- Article
- Export citation
Logic programming in the LF logical framework
- from Implementations
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 149-182
-
- Chapter
- Export citation
Jean H. Gallier. Logic for computer science. Foundations of automatic theorem proving. Harper & Row computer science and technology series. Harper & Row, New York1986, xv + 511 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 1 / March 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 288-289
- Print publication:
- March 1989
-
- Article
- Export citation