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.
Zantema, H.
1993.
Conditional Term Rewriting Systems.
Vol. 656,
Issue. ,
p.
155.
Groote, Philippe
1993.
STACS 93.
Vol. 665,
Issue. ,
p.
712.
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.
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.
Boudol, Gérard
1994.
A Decade of Concurrency Reflections and Perspectives.
Vol. 803,
Issue. ,
p.
92.
Nesi, Monica
Paiva, Valeria
and
Ritter, Eike
1994.
Higher-Order Algebra, Logic, and Term Rewriting.
Vol. 816,
Issue. ,
p.
256.
Ritter, Eike
1994.
Computer Science Logic.
Vol. 832,
Issue. ,
p.
295.
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.
Mackie, Ian
1994.
Lilac: a functional programming language based on linear logic.
Journal of Functional Programming,
Vol. 4,
Issue. 4,
p.
395.
Gordon, Andrew D.
1994.
Higher Order Logic Theorem Proving and Its Applications.
Vol. 780,
Issue. ,
p.
413.
Milner, Robin
1994.
Programming Languages and Systems — ESOP '94.
Vol. 788,
Issue. ,
p.
26.
Hasegawa, Masahito
1995.
Category Theory and Computer Science.
Vol. 953,
Issue. ,
p.
200.
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.
Feferman, Solomon
1995.
Definedness.
Erkenntnis,
Vol. 43,
Issue. 3,
p.
295.
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.
Briaud, Daniel
1995.
Typed Lambda Calculi and Applications.
Vol. 902,
Issue. ,
p.
94.
Discussions
No Discussions have been published for this article.