On full abstraction for PCF: I, II, and III
Information and Computation
Information and Computation
Holomorhpic Models of Exponential Types in Linear Logic
Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics
The Lambda-Calculus with Multiplicities (Abstract)
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
CSL '97 Selected Papers from the11th International Workshop on Computer Science Logic
Believe it or not, AJM's games model is a model of classical linear logic
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
A Fully Abstract Game Semantics for Finite Nondeterminism
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
The differential Lambda-calculus
Theoretical Computer Science
A semantics for lambda calculi with resources
Mathematical Structures in Computer Science
Asynchronous games 2: the true concurrency of innocence
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
Mathematical Structures in Computer Science
Uniformity and the Taylor expansion of ordinary lambda-terms
Theoretical Computer Science
An Explicit Formula for the Free Exponential Modality of Linear Logic
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Parallel Reduction in Resource Lambda-Calculus
APLAS '09 Proceedings of the 7th Asian Symposium on Programming Languages and Systems
Asynchronous Games 3 An Innocent Model of Linear Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Categorical Models for Simply Typed Resource Calculi
Electronic Notes in Theoretical Computer Science (ENTCS)
Exponentials with infinite multiplicities
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Linearity, Non-determinism and Solvability
Fundamenta Informaticae - From Mathematical Beauty to the Truth of Nature: to Jerzy Tiuryn on his 60th Birthday
Intuitionistic differential nets and lambda-calculus
Theoretical Computer Science
Böhm's theorem for resource lambda calculus through Taylor expansion
TLCA'11 Proceedings of the 10th international conference on Typed lambda calculi and applications
Constructing differential categories and deconstructing categories of games
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Böhm trees, krivine's machine and the taylor expansion of lambda-terms
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Applying quantitative semantics to higher-order quantum computing
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.00 |
Differential categories were introduced by Blute, Cockett and Seely to axiomatize categorically Ehrhard and Regnier@?s syntactic differential operator. We present an abstract construction that takes a symmetric monoidal category and yields a differential category, and show how this construction may be applied to categories of games. In one instance, we recover the category previously used to give a fully abstract model of a nondeterministic imperative language. The construction exposes the differential structure already present in this model, and shows how the differential combinator may be encoded in the imperative language. The second instance corresponds to a new Cartesian differential category of games. We give a model of a simply-typed resource calculus, Resource PCF, in this category and show that it possesses the finite definability property. Comparison with a semantics based on Bucciarelli, Ehrhard and Manzonetto@?s relational model reveals that the latter also possesses this property and is fully abstract.