Linear λ-calculus and categorical models revisited
- 1 January 1993
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- A term calculus for Intuitionistic Linear LogicPublished by Springer Nature ,1993
- Bounded linear logic: a modular approach to polynomial-time computabilityTheoretical Computer Science, 1992
- Linear logic, *-autonomous categories and cofree coalgebrasPublished by American Mathematical Society (AMS) ,1989
- Linear logicTheoretical Computer Science, 1987
- Coalgebras and cartesian categoriesCommunications in Algebra, 1976
- Coherence in closed categoriesJournal of Pure and Applied Algebra, 1971
- Categories for the Working MathematicianPublished by Springer Nature ,1971
- Closed CategoriesPublished by Springer Nature ,1966