-
1
-
-
85026780616
-
Syntactic definitions of undefined: On defining the undefined
-
Ariola Z., R. Kennaway, J.W. Klop, R. Sleep and F-J. de Vries. Syntactic definitions of undefined: on defining the undefined. In Proceedings of TACS '94, volume 789 of LNCS, pages 543-554, 1994.
-
(1994)
Proceedings of TACS '94, volume 789 of LNCS
, pp. 543-554
-
-
Ariola, Z.1
Kennaway, R.2
Klop, J.W.3
Sleep, R.4
de Vries, F.-J.5
-
2
-
-
0000415462
-
Complete restrictions of the Intersection Type Discipline
-
S. van Bakel. Complete restrictions of the Intersection Type Discipline. Theoretical Computer Science, 102:135-163, 1992.
-
(1992)
Theoretical Computer Science
, vol.102
, pp. 135-163
-
-
van Bakel, S.1
-
3
-
-
84947945674
-
Partial Intersection Type Assignment in Applicative Term Rewriting Systems
-
S. van Bakel. Partial Intersection Type Assignment in Applicative Term Rewriting Systems. In Proceedings of TLCA '93, volume 664 of LNCS, pages 29-44, 1993.
-
(1993)
Proceedings of TLCA '93, volume 664 of LNCS
, pp. 29-44
-
-
van Bakel, S.1
-
4
-
-
0029406599
-
Intersection Type Assignment Systems
-
S. van Bakel. Intersection Type Assignment Systems. Theoretical Computer Science, 151(2):385-435, 1995.
-
(1995)
Theoretical Computer Science
, vol.151
, Issue.2
, pp. 385-435
-
-
van Bakel, S.1
-
7
-
-
84947970751
-
Approximation and Normalization Results for Typeable Rewrite Systems
-
To appear in Paderborn, Germany
-
S. van Bakel and M. Fernández. Approximation and Normalization Results for Typeable Rewrite Systems. To appear in Proceedings of HOA '95, Paderborn, Germany, 1995.
-
(1995)
Proceedings of HOA '95
-
-
van Bakel, S.1
Fernández, M.2
-
8
-
-
21144483037
-
Combining first and higher order rewrite systems with type assignment systems
-
F. Barbanera and M. Fernández. Combining first and higher order rewrite systems with type assignment systems. In Proceedings of TLCA '93, volume 664 of LNCS, pages 60-74, 1993.
-
(1993)
Proceedings of TLCA '93, volume 664 of LNCS
, pp. 60-74
-
-
Barbanera, F.1
Fernández, M.2
-
11
-
-
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. Journal of Symbolic Logic, 48(4):931-940, 1983.
-
(1983)
Journal of Symbolic Logic
, vol.48
, Issue.4
, pp. 931-940
-
-
Barendregt, H.1
Coppo, M.2
Dezani-Ciancaglini, M.3
-
12
-
-
0024130791
-
Combining algebra and higher-order types
-
V. Breazu-Tannen. Combining algebra and higher-order types. In Proceedings of LICS'88, pages 82-90, 1988.
-
(1988)
Proceedings of LICS'88
, pp. 82-90
-
-
Breazu-Tannen, V.1
-
13
-
-
0026173872
-
Polymorphic rewriting conserves algebraic strong normalization
-
V. Breazu-Tannen and J. Gallier. Polymorphic rewriting conserves algebraic strong normalization. Theoretical Computer Science, 83(1):3-28, 1991.
-
(1991)
Theoretical Computer Science
, vol.83
, Issue.1
, pp. 3-28
-
-
Breazu-Tannen, V.1
Gallier, J.2
-
15
-
-
0000029077
-
Rewrite systems
-
J. van Leeuwen, editor, volume B, chapter 6, North-Holland
-
N. Dershowitz and J.P. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 6, pages 245-320. North-Holland, 1990.
-
(1990)
Handbook of Theoretical Computer Science
, pp. 245-320
-
-
Dershowitz, N.1
Jouannaud, J.P.2
-
17
-
-
0003432047
-
-
Cambridge Tracts in Theoretical Computer Science. Cambridge University Press
-
J.-Y. Girard, Y. Lafont, and P. Taylor. Proofs and Types. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1989.
-
(1989)
Proofs and Types.
-
-
Girard, J.-Y.1
Lafont, Y.2
Taylor, P.3
-
20
-
-
0026190438
-
Executable higher-order algebraic specification languages
-
J.P. Jouannaud and M. Okada. Executable higher-order algebraic specification languages. In Proceedings of LICS'91, pages 350-361, 1991.
-
(1991)
Proceedings of LICS'91
, pp. 350-361
-
-
Jouannaud, J.P.1
Okada, M.2
-
21
-
-
0000596058
-
Term Rewriting Systems: A tutorial
-
J.W. Klop. Term Rewriting Systems: a tutorial. EATCS Bulletin, 32:143-182, 1987.
-
(1987)
EATCS Bulletin
, vol.32
, pp. 143-182
-
-
Klop, J.W.1
-
22
-
-
0001834942
-
Term Rewriting Systems
-
S. Abramsky, Dov. M. Gabbay, and T.S.E. Maibaum, editors, chapter 1, Clarendon Press
-
J.W. Klop. Term Rewriting Systems. In S. Abramsky, Dov. M. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, volume 2, chapter 1, pages 1-116. Clarendon Press, 1992.
-
(1992)
Handbook of Logic in Computer Science
, vol.2
, pp. 1-116
-
-
Klop, J.W.1
-
23
-
-
85028762708
-
Strong normalizability for the combined system of the types lambda calculus and an arbitrary convergent term rewrite system
-
Portland, Oregon
-
Mitsuhiro Okada. Strong normalizability for the combined system of the types lambda calculus and an arbitrary convergent term rewrite system. InProceedings of ISSAC 89, Portland, Oregon, 1989.
-
(1989)
Proceedings of ISSAC 89
-
-
Okada, M.1
-
24
-
-
0001748856
-
Intensional interpretation of functionals of finite type I
-
W.W. Tait. Intensional interpretation of functionals of finite type I. Journal of Symbolic Logic, 32(2):198-223, 1967.
-
(1967)
Journal of Symbolic Logic
, vol.32
, Issue.2
, pp. 198-223
-
-
Tait, W.W.1
-
25
-
-
0024680051
-
Full Abstraction and Limiting Completeness in Equational Languages
-
S.R. Thatte. Full Abstraction and Limiting Completeness in Equational Languages. Theoretical Computer Science, 65:85-119, 1989.
-
(1989)
Theoretical Computer Science
, vol.65
, pp. 85-119
-
-
Thatte, S.R.1
-
27
-
-
0001581867
-
∞-models of the lambda-calculus
-
∞-models of the lambda-calculus. SIAM J. Comput., 5:488-521, 1976
-
(1976)
SIAM J. Comput.
, vol.5
, pp. 488-521
-
-
Wadsworth, C.P.1
|