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.
Milner, Robin
1994.
Programming Languages and Systems — ESOP '94.
Vol. 788,
Issue. ,
p.
26.
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.
Mackie, Ian
1994.
Lilac: a functional programming language based on linear logic.
Journal of Functional Programming,
Vol. 4,
Issue. 4,
p.
395.
Nesi, Monica
Paiva, Valeria
and
Ritter, Eike
1994.
Higher-Order Algebra, Logic, and Term Rewriting.
Vol. 816,
Issue. ,
p.
256.
Ariola, Z.M.
and
Klop, J.W.
1994.
Cyclic lambda graph rewriting.
p.
416.
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.
Gordon, Andrew D.
1994.
Higher Order Logic Theorem Proving and Its Applications.
Vol. 780,
Issue. ,
p.
413.
Pollack, Randy
1994.
Types for Proofs and Programs.
Vol. 806,
Issue. ,
p.
313.
Ritter, Eike
1994.
Categorical abstract machines for higher-order typed λ-calculi.
Theoretical Computer Science,
Vol. 136,
Issue. 1,
p.
125.
Ritter, Eike
1994.
Computer Science Logic.
Vol. 832,
Issue. ,
p.
295.
Boudol, Gérard
1994.
A Decade of Concurrency Reflections and Perspectives.
Vol. 803,
Issue. ,
p.
92.
Feferman, Solomon
1995.
Definedness.
Erkenntnis,
Vol. 43,
Issue. 3,
p.
295.
Dowek, G.
Hardin, T.
and
Kirchner, C.
1995.
Higher-order unification via explicit substitutions.
p.
366.
Briaud, Daniel
1995.
Typed Lambda Calculi and Applications.
Vol. 902,
Issue. ,
p.
94.
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.
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.
Discussions
No Discussions have been published for this article.