A mixed modal/linear lambda calculus with applications to bellantoni-cook safe recursion
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 275-294
- https://doi.org/10.1007/bfb0028020
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Type theory and recursionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A linear logical frameworkPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Games semantics for linear logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-Order Function AlgebrasBulletin of Symbolic Logic, 1997
- Predicative functional recurrence and poly-spacePublished by Springer Nature ,1997
- Chu spaces and their interpretation as concurrent objectsPublished by Springer Nature ,1995
- Once upon a typePublished by Association for Computing Machinery (ACM) ,1995
- An Extension of System F with SubtypingInformation and Computation, 1994
- A new recursion-theoretic characterization of the polytime functionscomputational complexity, 1992
- Is there a use for linear logic?Published by Association for Computing Machinery (ACM) ,1991