A dialectica-like model of linear logic
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 341-356
- https://doi.org/10.1007/bfb0018360
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Morphismes unispectrauxTheoretical Computer Science, 1986
- Locally cartesian closed categories and type theoryMathematical Proceedings of the Cambridge Philosophical Society, 1984
- On a hitherto unexploited extension of the finitary standpointJournal of Philosophical Logic, 1980
- *-Autonomous CategoriesPublished by Springer Nature ,1979
- Coalgebras and cartesian categoriesCommunications in Algebra, 1976
- The formal theory of monadsJournal of Pure and Applied Algebra, 1972
- Monads on symmetric monoidal closed categoriesArchiv der Mathematik, 1970
- Distributive lawsPublished by Springer Nature ,1969
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTESDialectica, 1958