-
1
-
-
19144373216
-
Domain theory in logical form
-
S. Abramsky Domain theory in logical form Ann. Pure Appl. Logic 51 1-2 1991 1 77
-
(1991)
Ann. Pure Appl. Logic
, vol.51
, Issue.1-2
, pp. 1-77
-
-
Abramsky, S.1
-
2
-
-
0000451579
-
Full abstraction in the lazy lambda calculus
-
S. Abramsky, and C.-H.L. Ong Full abstraction in the lazy lambda calculus Inform. and Comput. 105 2 1993 159 267
-
(1993)
Inform. and Comput.
, vol.105
, Issue.2
, pp. 159-267
-
-
Abramsky, S.1
Ong, C.-H.L.2
-
3
-
-
18944404535
-
Intersection types and computational rules
-
R. de Queiroz E. Pimentel L. Figueiredo Elsevier Amsterdam
-
F. Alessi, F. Barbanera, and M. Dezani-Ciancaglini Intersection types and computational rules R. de Queiroz E. Pimentel L. Figueiredo WoLLIC'03, ENTCS vol. 84 2003 Elsevier Amsterdam
-
(2003)
WoLLIC'03, ENTCS
, vol.84
-
-
Alessi, F.1
Barbanera, F.2
Dezani-Ciancaglini, M.3
-
7
-
-
85068247084
-
Simple easy terms
-
S. van Bakel Elsevier Amsterdam
-
F. Alessi, and S. Lusin Simple easy terms S. van Bakel ITRS'02, ENTCS Vol. 70 2002 Elsevier Amsterdam
-
(2002)
ITRS'02, ENTCS
, vol.70
-
-
Alessi, F.1
Lusin, S.2
-
9
-
-
0000807910
-
A filter lambda model and the completeness of type assignment
-
H. Barendregt, M. Coppo, and M. Dezani-Ciancaglini A filter lambda model and the completeness of type assignment J. Symbolic Logic 48 4 1983 931 940
-
(1983)
J. Symbolic Logic
, vol.48
, Issue.4
, pp. 931-940
-
-
Barendregt, H.1
Coppo, M.2
Dezani-Ciancaglini, M.3
-
11
-
-
0023292009
-
Type theories, normal forms, and D∞ -lambda-models
-
M. Coppo, M. Dezani-Ciancaglini, and M. Zacchi Type theories, normal forms, and D∞ -lambda-models Inform. and Comput. 72 2 1987 85 116
-
(1987)
Inform. and Comput.
, vol.72
, Issue.2
, pp. 85-116
-
-
Coppo, M.1
Dezani-Ciancaglini, M.2
Zacchi, M.3
-
12
-
-
77956960632
-
Extended type structures and filter lambda models
-
G. Lolli G. Longo A. Marcja North-Holland Amsterdam
-
M. Coppo, F. Honsell, M. Dezani-Ciancaglini, and G. Longo Extended type structures and filter lambda models G. Lolli G. Longo A. Marcja Logic Colloq. '82 1984 North-Holland Amsterdam 241 262
-
(1984)
Logic Colloq. '82
, pp. 241-262
-
-
Coppo, M.1
Honsell, F.2
Dezani-Ciancaglini, M.3
Longo, G.4
-
16
-
-
3042818025
-
A complete characterization of complete intersection-type preorders
-
M. Dezani-Ciancaglini, F. Honsell, and F. Alessi A complete characterization of complete intersection-type preorders ACM TOCL 4 1 2003 120 147
-
(2003)
ACM TOCL
, vol.4
, Issue.1
, pp. 120-147
-
-
Dezani-Ciancaglini, M.1
Honsell, F.2
Alessi, F.3
-
17
-
-
23844506929
-
Compositional characterization of λ-terms using intersection types
-
M. Dezani-Ciancaglini, F. Honsell, Y. Motohama, Compositional characterization of λ -terms using intersection types, Theoret. Comput. Sci. 340 (3) (2005) 459-495.
-
(2005)
Theoret. Comput. Sci.
, vol.340
, Issue.3
, pp. 459-495
-
-
Dezani-Ciancaglini, M.1
Honsell, F.2
Motohama, Y.3
-
18
-
-
0001293890
-
Operational, denotational and logical descriptions: A case study
-
L. Egidi, F. Honsell, and S. Ronchi Della Rocca Operational, denotational and logical descriptions: a case study Fund. Inform. 16 2 1992 149 169
-
(1992)
Fund. Inform.
, vol.16
, Issue.2
, pp. 149-169
-
-
Egidi, L.1
Honsell, F.2
Ronchi Della Rocca, S.3
-
19
-
-
51249186281
-
Algebras and combinators
-
E. Engeler Algebras and combinators Algebra Universalis 13 3 1981 389 392
-
(1981)
Algebra Universalis
, vol.13
, Issue.3
, pp. 389-392
-
-
Engeler, E.1
-
21
-
-
84982656456
-
Lambda-calculus models and extensionality
-
R. Hindley, and G. Longo Lambda-calculus models and extensionality Z. Math. Logik Grundlag. Math. 26 4 1980 289 310
-
(1980)
Z. Math. Logik Grundlag. Math.
, vol.26
, Issue.4
, pp. 289-310
-
-
Hindley, R.1
Longo, G.2
-
22
-
-
84947442951
-
Some results on the full abstraction problem for restricted lambda calculi
-
A.M. Borzyszkowski S. Sokolowski Springer Berlin
-
F. Honsell, and M. Lenisa Some results on the full abstraction problem for restricted lambda calculi A.M. Borzyszkowski S. Sokolowski MFCS'93, Lecture Notes in Computer Science vol. 711 1993 Springer Berlin 84 104
-
(1993)
MFCS'93, Lecture Notes in Computer Science
, vol.711
, pp. 84-104
-
-
Honsell, F.1
Lenisa, M.2
-
23
-
-
0003086621
-
Semantical analysis of perpetual strategies in λ-calculus
-
F. Honsell, and M. Lenisa Semantical analysis of perpetual strategies in λ -calculus Theoret. Comput. Sci. 212 1-2 1999 183 209
-
(1999)
Theoret. Comput. Sci.
, vol.212
, Issue.1-2
, pp. 183-209
-
-
Honsell, F.1
Lenisa, M.2
-
24
-
-
0026902023
-
An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
-
F. Honsell, and S. Ronchi Della Rocca An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus J. Comput. System Sci. 45 1 1992 49 75
-
(1992)
J. Comput. System Sci.
, vol.45
, Issue.1
, pp. 49-75
-
-
Honsell, F.1
Ronchi Della Rocca, S.2
-
25
-
-
0004330912
-
The y -combinator in Scott's λ -calculus models (revised version)
-
Department of Computer Science, University of Warwick
-
D. Park The Y -combinator in Scott's λ -calculus models (revised version), Theory of Computation Report 13, Department of Computer Science 1976 University of Warwick
-
(1976)
Theory of Computation Report
, vol.13
-
-
Park, D.1
-
26
-
-
18944377121
-
Call-by-name, call-by-value and the λ-calculus
-
G.D. Plotkin Call-by-name, call-by-value and the λ -calculus Theoret. Comput. Sci. 1 2 1975 125 159
-
(1975)
Theoret. Comput. Sci.
, vol.1
, Issue.2
, pp. 125-159
-
-
Plotkin, G.D.1
-
27
-
-
0027910780
-
Set-theoretical and other elementary models of the λ-calculus
-
G.D. Plotkin Set-theoretical and other elementary models of the λ -calculus Theoret. Comput. Sci. 121 1-2 1993 351 409
-
(1993)
Theoret. Comput. Sci.
, vol.121
, Issue.1-2
, pp. 351-409
-
-
Plotkin, G.D.1
-
30
-
-
0000415462
-
Complete restrictions of the intersection type discipline
-
S. van Bakel Complete restrictions of the intersection type discipline Theoret. Comput. Sci. 102 1 1992 135 163
-
(1992)
Theoret. Comput. Sci.
, vol.102
, Issue.1
, pp. 135-163
-
-
Van Bakel, S.1
-
31
-
-
0003923505
-
-
Cambridge University Press Cambridge
-
S. Vickers Topology Via Logic 1989 Cambridge University Press Cambridge
-
(1989)
Topology Via Logic
-
-
Vickers, S.1
|