Theoretical Computer Science
Fully abstract semantics for observably sequential languages
Information and Computation
Games and full completeness for multiplicative linear logic
Journal of Symbolic Logic
Bi-models: relational versus domain-theoretic approaches
Fundamenta Informaticae
Domains and lambda-calculi
A relative PCF-definability result for strongly stable functions and some corollaries
Information and Computation
Parallel and serial hypercoherences
Theoretical Computer Science
On full abstraction for PCF: I, II, and III
Information and Computation
Combining a monad and a comonad
Theoretical Computer Science
Hereditarily Sequential Functionals
LFCS '94 Proceedings of the Third International Symposium on Logical Foundations of Computer Science
On the Symmetry of Sequentiality
Proceedings of the 9th International Conference on Mathematical Foundations of Programming Semantics
What is a Categorical Model of Intuitionistic Linear Logic?
TLCA '95 Proceedings of the Second International Conference on Typed Lambda Calculi and Applications
Towards a Mathematical Operational Semantics
LICS '97 Proceedings of the 12th Annual IEEE Symposium on Logic in Computer Science
A Fully Abstract Game Semantics for General References
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Concurrent Games and Full Completeness
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Sequential algorithms and strongly stable functions
Theoretical Computer Science - Game theory meets theoretical computer science
Interpreting Localized Computational Effects Using Operators of Higher Type
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Some Programming Languages Suggested by Game Models (Extended Abstract)
Electronic Notes in Theoretical Computer Science (ENTCS)
Non-uniform (hyper/multi)coherence spaces
Mathematical Structures in Computer Science
Hi-index | 0.00 |
We show that two models M and N of linear logic collapse to the same extensional hierarchy of types, when (1) their monoidal categories C and D are related by a pair of monoidal functors F: C →← D : G and transformations IdC ⇒ GF and IdD = ⇒ FG, and (2) their exponentials !M and !N are related by distributive laws ρ : !NF ⇒ F!M and η : !MG ⇒ G!N commuting to the promotion rule. The key ingredient of the proof is a notion of back-and-forth translation between the hierarchies of types induced by M and N. We apply this result to compare (1) the qualitative and the quantitative hierarchies induced by the coherence (or hypercoherence) space model, (2) several paradigms of games semantics: error-free vs. error-aware, alternated vs. non-alternated, backtracking vs. repetitive, uniform vs. nonuniform.