-
1
-
-
84955573850
-
Retracing some paths in Process Algebra
-
U. Montanari and V. Sassone eds.
-
S.Abramsky. Retracing some paths in Process Algebra, Concur'96, U. Montanari and V. Sassone eds., 1996, 1-17.
-
(1996)
Concur'96
, pp. 1-17
-
-
Abramsky, S.1
-
2
-
-
14544291050
-
Interaction, Combinators, and Complexity
-
Siena (Italy)
-
S.Abramsky. Interaction, Combinators, and Complexity, lecture notes, Siena (Italy), 1997.
-
(1997)
Lecture Notes
-
-
Abramsky, S.1
-
3
-
-
18944405125
-
Geometry of Interaction and Linear Combinatory Algebras
-
S.Abramsky, E.Haghverdi, P.Scott. Geometry of Interaction and Linear Combinatory Algebras, Math.Struct.in Comp.Science 12(5), 2002, 625-665.
-
(2002)
Math.Struct.in Comp.Science
, vol.12
, Issue.5
, pp. 625-665
-
-
Abramsky, S.1
Haghverdi, E.2
Scott, P.3
-
4
-
-
0002893293
-
New foundations for the Geometry of Interaction
-
S.Abramsky, R.Jagadeesan. New foundations for the Geometry of Interaction, Inf. and Comp. 111(1), 1994, 53-119.
-
(1994)
Inf. and Comp.
, vol.111
, Issue.1
, pp. 53-119
-
-
Abramsky, S.1
Jagadeesan, R.2
-
5
-
-
0034672933
-
Full Abstraction for PCF
-
S.Abramsky, R.Jagadeesan, P.Malacaria. Full Abstraction for PCF, Inf. and Comp. 163, 2000, 409-470.
-
(2000)
Inf. and Comp.
, vol.163
, pp. 409-470
-
-
Abramsky, S.1
Jagadeesan, R.2
Malacaria, P.3
-
6
-
-
84959339092
-
A Fully-complete per Model for ML Polymorphic Types
-
S.Abramsky, M.Lenisa. A Fully-complete PER Model for ML Polymorphic Types, CSL'00, LNCS 1862, 2000, 140-155.
-
(2000)
CSL'00, LNCS
, vol.1862
, pp. 140-155
-
-
Abramsky, S.1
Lenisa, M.2
-
7
-
-
23044528606
-
Fully Complete Minimal per Models for the Simply Typed A-calculus
-
S.Abramsky, M.Lenisa. Fully Complete Minimal PER Models for the Simply Typed A-calculus, CSL'01, LNCS 2142, 2001, 443-457.
-
(2001)
CSL'01, LNCS
, vol.2142
, pp. 443-457
-
-
Abramsky, S.1
Lenisa, M.2
-
9
-
-
0032597487
-
Concurrent Games and Full Completeness
-
S.Abramsky, P.Mellies. Concurrent Games and Full Completeness, LICS'99, 431-442.
-
LICS'99
, pp. 431-442
-
-
Abramsky, S.1
Mellies, P.2
-
10
-
-
35048893553
-
-
P.Baillot, V.Danos, T.Ehrard, L.Regnier. Timeless games, CSL'97, LNCS 1414, 1997.
-
(1997)
Timeless Games, CSL'97, LNCS
, vol.1414
-
-
Baillot, P.1
Danos, V.2
Ehrard, T.3
Regnier, L.4
-
12
-
-
0000807910
-
A filter lambda model and the completeness of type assignment system
-
H.Barendregt, M.Coppo, M.Dezani. A filter lambda model and the completeness of type assignment system, J. Symbolic Logic 48, 1983, 931-940.
-
(1983)
J. Symbolic Logic
, vol.48
, pp. 931-940
-
-
Barendregt, H.1
Coppo, M.2
Dezani, M.3
-
13
-
-
0013279209
-
-
Computer Laboratory, Cambridge
-
P.Benton, G.Bierman, V. de Paiva, M.Hyland. Term assignment for intuitionistic linear logic, TR 262, Computer Laboratory, Cambridge, 1992.
-
(1992)
Term Assignment for Intuitionistic Linear Logic, TR
, vol.262
-
-
Benton, P.1
Bierman, G.2
De Paiva, V.3
Hyland, M.4
-
14
-
-
84949229369
-
Game Semantics for Untyped λ-calculus
-
P.Di Gianantonio, G.Franco, F.Honsell. Game Semantics for Untyped λ-calculus, TLCA'99, LNCS 1581, 1999, 114-128.
-
(1999)
TLCA'99, LNCS
, vol.1581
, pp. 114-128
-
-
Di Gianantonio, P.1
Franco, G.2
Honsell, F.3
-
16
-
-
0027269156
-
Local and Asynchronous beta-reduction (An analysis of Girard's Execution Formula)
-
V.Danos, L.Regnier. Local and Asynchronous beta-reduction (An analysis of Girard's Execution Formula), LICS'93, 296-306.
-
LICS'93
, pp. 296-306
-
-
Danos, V.1
Regnier, L.2
-
17
-
-
0000144033
-
Proof-nets and the Hubert space
-
J.-Y.Girard et al. eds., London Math. Soc. Series Cambridge University Press
-
V.Danos, L.Regnier. Proof-nets and the Hubert space, in J.-Y.Girard et al. eds., Advances in linear Logic, London Math. Soc. Series 222, Cambridge University Press, 307-328.
-
Advances in Linear Logic
, vol.222
, pp. 307-328
-
-
Danos, V.1
Regnier, L.2
-
18
-
-
0001119508
-
Geometry of Interaction I: Interpretation of System F
-
R.Ferro et al. eds., North Holland
-
J.-Y.Girard. Geometry of Interaction I: Interpretation of System F, Logic Colloquium'88, R.Ferro et al. eds., North Holland, 221-260.
-
Logic Colloquium'88
, pp. 221-260
-
-
Girard, J.-Y.1
-
19
-
-
0003086621
-
Semantical Analysis of Perpetual Strategies in lambda-calculus
-
F.Honsell, M.Lenisa. Semantical Analysis of Perpetual Strategies in lambda-calculus, TCS, 212, 1999, 183-209.
-
(1999)
TCS
, vol.212
, pp. 183-209
-
-
Honsell, F.1
Lenisa, M.2
-
20
-
-
35048841844
-
Strict Geometry of Interaction Graph Models
-
F.Honsell, M.Lenisa. Strict Geometry of Interaction Graph Models, LPAR'03, LNAI 2850, 2003, 403-417.
-
(2003)
LPAR'03, LNAI
, vol.2850
, pp. 403-417
-
-
Honsell, F.1
Lenisa, M.2
-
21
-
-
0026902023
-
An approximation theorem for topological lambda models and the topological incompleteness of lambda models
-
F.Honsell, S.Ronchi Della Rocca. An approximation theorem for topological lambda models and the topological incompleteness of lambda models, J. Comp. System Sci. 45, 1992, 49-75.
-
(1992)
J. Comp. System Sci.
, vol.45
, pp. 49-75
-
-
Honsell, F.1
Ronchi Della Rocca, S.2
-
23
-
-
84999777145
-
Traced monoidal categories
-
A.Joyal, R.Street, D.Verity. Traced monoidal categories, Math. Proc. Comb. Phil. Soc. 119, 1996, 447-468.
-
(1996)
Math. Proc. Comb. Phil. Soc.
, vol.119
, pp. 447-468
-
-
Joyal, A.1
Street, R.2
Verity, D.3
-
24
-
-
0027910780
-
Set-theoretical and other elementary models of the λ-calculus
-
M.Dezani et al. eds., Elsevier
-
G.Plotkin. Set-theoretical and other elementary models of the λ-calculus, Volume in Honour of Corrado B̈hm, M.Dezani et al. eds., Elsevier, 351-410.
-
Volume in Honour of Corrado B̈hm
, pp. 351-410
-
-
Plotkin, G.1
-
25
-
-
84932544968
-
Some physical issues concerning theories of combinators
-
D.Scott. Some physical issues concerning theories of combinators, λ-calculus and Computer Science Theory, LNCS 37, 346-366.
-
λ-Calculus and Computer Science Theory, LNCS
, vol.37
, pp. 346-366
-
-
Scott, D.1
-
26
-
-
9444251957
-
Lambda calculus: Some models, some philosophy
-
J.Barwise ed., North Holland, Amsterdam
-
D.Scott. Lambda calculus: some models, some philosophy, Proc. The Kleene Symp., J.Barwise ed., North Holland, Amsterdam, 1980.
-
(1980)
Proc. the Kleene Symp.
-
-
Scott, D.1
|