The system F of variable types, fifteen years later
Theoretical Computer Science
Theoretical Computer Science
Categorical combinators, sequential algorithms, and functional programming (2nd ed.)
Categorical combinators, sequential algorithms, and functional programming (2nd ed.)
Games and full completeness for multiplicative linear logic
Journal of Symbolic Logic
Proceedings of the workshop on Advances in linear logic
Proceedings of the workshop on Advances in linear logic
Linear logic: its syntax and semantics
Proceedings of the workshop on Advances in linear logic
Bilinear logic in algebra and linguistics
Proceedings of the workshop on Advances in linear logic
On full abstraction for PCF: I, II, and III
Information and Computation
Information and Computation
Semantics and Logics of Computation
Semantics and Logics of Computation
Hereditarily Sequential Functionals
LFCS '94 Proceedings of the Third International Symposium on Logical Foundations of Computer Science
TACS '94 Proceedings of the International Conference on Theoretical Aspects of Computer Software
A Term Calculus for Intuitionistic Linear Logic
TLCA '93 Proceedings of the International Conference on Typed Lambda Calculi and Applications
What is a Categorical Model of Intuitionistic Linear Logic?
TLCA '95 Proceedings of the Second International Conference on Typed Lambda Calculi and Applications
Stable Models of Typed lambda-Calculi
Proceedings of the Fifth Colloquium on Automata, Languages and Programming
Linear Lambda-Calculus and Categorial Models Revisited
CSL '92 Selected Papers from the Workshop on Computer Science Logic
A Dialectica-like Model of Linear Logic
Category Theory and Computer Science
Full Completeness of the Multiplicative Linear Logic of Chu Spaces
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Classical Linear Logic of Implications
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Poset-valued sets or how to build models for linear logics
Theoretical Computer Science - Mathematical foundations of programming semantics
Classical linear logic of implications
Mathematical Structures in Computer Science
From proof-nets to bordisms: the geometric meaning of multiplicative connectives
Mathematical Structures in Computer Science
A categorical model for the geometry of interaction
Theoretical Computer Science - Automata, languages and programming: Logic and semantics (ICALP-B 2004)
Mathematical Structures in Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
On traced monoidal closed categories
Mathematical Structures in Computer Science
Algebraic Totality, towards Completeness
TLCA '09 Proceedings of the 9th International Conference on Typed Lambda Calculi and Applications
Concrete Data Structures as Games
Electronic Notes in Theoretical Computer Science (ENTCS)
From Geometry of Interaction to Denotational Semantics
Electronic Notes in Theoretical Computer Science (ENTCS)
Some reasons for generalising domain theory
Mathematical Structures in Computer Science
Towards a typed geometry of interaction
Mathematical Structures in Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Information Processing in Convex Operational Theories
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a geometry of recursion
Theoretical Computer Science
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Functorial boxes in string diagrams
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Space-Efficient computation by interaction
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Towards a typed geometry of interaction
CSL'05 Proceedings of the 19th international conference on Computer Science Logic
Constructing Fully Complete Models for Multiplicative Linear Logic
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
| Hi-index | 0.00 |
We present the general theory of the method of glueing and associated technique of orthogonality for constructing categorical models of all the structure of linear logic: in particular we treat the exponentials in detail. We indicate simple applications of the methods and show that they cover familiar examples.