|
34
|
On the symmetry of sequentiality
– P-L Curien
- 1993
|
|
46
|
Concurrent Games and Full Completeness
– Samson Abramsky, Paul-André Melliès, Equipe De Logique Mathematique
- 1998
|
|
37
|
Remarques sur la théorie des jeux à deux personnes,” Gazette des sciences mathématiques du Québec
– A Joyal
- 1997
|
|
55
|
Hypercoherences: A Strongly Stable Model of Linear Logic
– Thomas Ehrhard
- 1993
|
|
197
|
Games and Full Completeness for Multiplicative Linear Logic
– Samson Abramsky, Radha Jagadeesan
- 1994
|
|
47
|
Sequentiality and strong stability
– A Bucciarelli, T Ehrhard
- 1991
|
|
11
|
A relative definability result for strongly stable functions and some corollaries
– T Ehrhard
- 1997
|
|
21
|
A Combinatory Algebra for Sequential Functionals of Finite Type
– Jaap Van Oosten
- 1997
|
|
5
|
Anatomy of an Extensional Collapse
– Nuno Barreiro, Thomas Ehrhard
- 1997
|
|
83
|
Sequential algorithms on concrete data structures
– G Berry, P-L Curien
- 1982
|
|
3
|
Hypercohérence et jeux
– P Boudes
- 2002
|
|
23
|
Categorical Models of Linear Logic Revisited
– Paul-andré Melliès
- 2003
|
|
44
|
Algorithmic Game Semantics
– Samson Abramsky
- 2001
|
|
174
|
On full abstraction for pcf
– M Hyland, L Ong
- 2000
|
|
92
|
What is a Categorical Model of Intuitionistic Linear Logic?
– G.M. Bierman, A \gamma A, Gamma \delta \gamma C, Gamma I \gamma A, Gamma A B \gamma C, B \gamma C
- 1995
|
|
9
|
Catégories et Machines
– Logiques
- 1988
|
|
4
|
Hereditarily Sequential Funtionals
– H Nickau
- 1994
|
|
2
|
Bi-models: relational versus domain-theoretic approaches
– A Bucciarelli
- 1997
|
|
7
|
The Separated Extensional Chu Category
– Michael Barr, Transmitted Robert Rosebrugh
- 1998
|
