Algebraic approaches to program semantics
Algebraic approaches to program semantics
Coherent Banach spaces: a continuous denotational semantics
Theoretical Computer Science - Special issue on linear logic, 1
What is a Categorical Model of Intuitionistic Linear Logic?
TLCA '95 Proceedings of the Second International Conference on Typed Lambda Calculi and Applications
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Partially additive categories and fully complete models of linear logic
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
The differential Lambda-calculus
Theoretical Computer Science
Mathematical Structures in Computer Science
Geometrical semantics for linear logic (multiplicative fragment)
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Mathematical Structures in Computer Science
Theoretical Computer Science - Logic, language, information and computation
Theoretical Computer Science
Mathematical Structures in Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
A Quillen Model Structure for Chu Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Differential structure in models of multiplicative biadditive intuitionistic linear logic
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
Intuitionistic differential nets and lambda-calculus
Theoretical Computer Science
Probabilistic coherence spaces as a model of higher-order probabilistic computation
Information and Computation
The Scott model of linear logic is the extensional collapse of its relational model
Theoretical Computer Science
Probabilistic coherence spaces are fully abstract for probabilistic PCF
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Weighted Relational Models of Typed Lambda-Calculi
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
| Hi-index | 0.01 |
We present a category of locally convex topological vector spaces that is a model of propositional classical linear logic and is based on the standard concept of Köthe sequence spaces. In this setting, the ‘of course’ connective of linear logic has a quite simple structure of a commutative Hopf algebra. The co-Kleisli category of this linear category is a cartesian closed category of entire mappings. This work provides a simple setting in which typed λ-calculus and differential calculus can be combined; we give a few examples of computations.