|
173
|
Full Abstraction for PCF
– Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria
- 1996
|
|
22
|
Reversible communicating systems
– Vincent Danos, Jean Krivine, Université Paris, Inria Rocquencourt
- 2004
|
|
38
|
A lambda calculus for quantum computation
– André Van Tonder
|
|
122
|
A Categorical Semantics of Quantum Protocols
– Samson Abramsky, Bob Coecke
|
|
61
|
Retracing some paths in Process Algebra
– Samson Abramsky
|
|
31
|
Flow models of distributed computations: three equivalent semantics for CCS
– G BOUDOL, I CASTELLANI
- 1994
|
|
10
|
Transactions in RCCS
– Vincent Danos, Jean Krivine
- 2005
|
|
1182
|
A Structural Approach to Operational Semantics
– G. D. Plotkin
- 1981
|
|
35
|
A functional quantum programming language
– Jonathan James Grattage, James Chapman, Alex Green, Mark Jago, Wouter Swierstra, Mauro Jaskelioff
- 2005
|
|
4
|
Invertible terms in the lambda calculus
– J Bergstra, J W Klop
- 1980
|
|
39
|
Geometry of Interaction and Linear Combinatory Algebras
– Samson Abramsky, Esfandiar Haghverdi, Philip Scott
- 2000
|
|
184
|
Combinatory Logic
– H B Curry, R Feys
- 1958
|
|
6
|
Probabilistic lambdacalculus and quantitative program analysis
– Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
|
|
12
|
Über eine Verallgemeinerung des Gruppenbegriffes
– W Brandt
- 1926
|
|
51
|
From groups to groupoids: a brief survey
– Ronald Brown
- 1987
|
|
69
|
New Foundations for the Geometry of Interaction
– Samson Abramsky, Radha Jagadeesan
- 1993
|
|
4
|
control and full abstraction
– N-player Non-zero-sum Games, S. Phelps
- 2000
|
|
13
|
Decidability of all minimal models
– Vincent Padovani
- 1995
|
|
97
|
Towards a geometry of interaction
– J Y Girard
- 1989
|
