Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Hannan, J.
and
Pfenning, F.
1992.
Compiler verification in LF.
p.
407.
Groote, Philippe
1993.
STACS 93.
Vol. 665,
Issue. ,
p.
712.
Zantema, H.
1993.
Conditional Term Rewriting Systems.
Vol. 656,
Issue. ,
p.
155.
Nesi, Monica
Paiva, Valeria
and
Ritter, Eike
1994.
Higher-Order Algebra, Logic, and Term Rewriting.
Vol. 816,
Issue. ,
p.
256.
Milner, Robin
1994.
Programming Languages and Systems — ESOP '94.
Vol. 788,
Issue. ,
p.
26.
Mackie, Ian
1994.
Lilac: a functional programming language based on linear logic.
Journal of Functional Programming,
Vol. 4,
Issue. 4,
p.
395.
Boudol, Gérard
1994.
A Decade of Concurrency Reflections and Perspectives.
Vol. 803,
Issue. ,
p.
92.
Ariola, Z.M.
and
Klop, J.W.
1994.
Cyclic lambda graph rewriting.
p.
416.
Gordon, Andrew D.
1994.
Higher Order Logic Theorem Proving and Its Applications.
Vol. 780,
Issue. ,
p.
413.
Curien, Pierre-Louis
and
Hardin, Thérèse
1994.
Theoretical Pearl Yet yet a counterexample for λ+SP.
Journal of Functional Programming,
Vol. 4,
Issue. 1,
p.
113.
Bellegarde, Françoise
and
Hook, James
1994.
Substitution: A formal methods case study using monads and transformations.
Science of Computer Programming,
Vol. 23,
Issue. 2-3,
p.
287.
Ritter, Eike
1994.
Computer Science Logic.
Vol. 832,
Issue. ,
p.
295.
Ritter, Eike
1994.
Categorical abstract machines for higher-order typed λ-calculi.
Theoretical Computer Science,
Vol. 136,
Issue. 1,
p.
125.
Pollack, Randy
1994.
Types for Proofs and Programs.
Vol. 806,
Issue. ,
p.
313.
Dowek, G.
Hardin, T.
and
Kirchner, C.
1995.
Higher-order unification via explicit substitutions.
p.
366.
Boudol, Gerard
and
Laneve, Cosimo
1995.
Termination, deadlock and divergence in the λ-calculus with multiplicities.
Electronic Notes in Theoretical Computer Science,
Vol. 1,
Issue. ,
p.
32.
Hasegawa, Masahito
1995.
Category Theory and Computer Science.
Vol. 953,
Issue. ,
p.
200.
Hannan, John
1995.
Static Analysis.
Vol. 983,
Issue. ,
p.
172.
Aït-Kaci, Hassan
and
Garrigue, Jacques
1995.
Label-selective λ-calculus syntax and confluence.
Theoretical Computer Science,
Vol. 151,
Issue. 2,
p.
353.
Kamareddine, Fairouz
and
Ríos, Alejandro
1995.
Programming Languages: Implementations, Logics and Programs.
Vol. 982,
Issue. ,
p.
45.
Discussions
No Discussions have been published for this article.