Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
de Groote, Philippe
1992.
Logical Foundations of Computer Science — Tver '92.
Vol. 620,
Issue. ,
p.
105.
Murthy, C.R.
1992.
A computational analysis of Girard's translation and LC.
p.
90.
Abramsky, Samson
and
Jagadeesan, Radha
1992.
Foundations of Software Technology and Theoretical Computer Science.
Vol. 652,
Issue. ,
p.
291.
Barbanera, Franco
and
Berardi, Stefano
1993.
Typed Lambda Calculi and Applications.
Vol. 664,
Issue. ,
p.
45.
Constable, Robert L.
1993.
Logic and Algebra of Specification.
p.
31.
Andreoli, Jean-Marc
Leth, Lone
Pareschi, Remo
and
Thomsen, Bent
1993.
TAPSOFT'93: Theory and Practice of Software Development.
Vol. 668,
Issue. ,
p.
182.
Danos, Vincent
Joinet, Jean -Baptiste
and
Schellinx, Harold
1993.
Computational Logic and Proof Theory.
Vol. 713,
Issue. ,
p.
159.
Gallier, Jean
1993.
Constructive logics Part I: A tutorial on proof systems and typed λ-calculi.
Theoretical Computer Science,
Vol. 110,
Issue. 2,
p.
249.
Girard, Jean-Yves
1993.
Logic and Algebra of Specification.
p.
63.
Parigot, M.
1993.
Strong normalization for second order classical natural deduction.
p.
39.
Parigot, Michel
1993.
Computational Logic and Proof Theory.
Vol. 713,
Issue. ,
p.
263.
Vauzeilles, Jacqueline
1993.
Cut elimination for the unified logic.
Annals of Pure and Applied Logic,
Vol. 62,
Issue. 1,
p.
1.
Groote, Philippe de
1994.
Logical Foundations of Computer Science.
Vol. 813,
Issue. ,
p.
142.
Groote, Philippe
1994.
Logic Programming and Automated Reasoning.
Vol. 822,
Issue. ,
p.
31.
Abramsky, Samson
and
Jagadeesan, Radha
1994.
Games and full completeness for multiplicative linear logic.
Journal of Symbolic Logic,
Vol. 59,
Issue. 2,
p.
543.
Jacobs, Bart
1994.
Semantics of weakening and contraction.
Annals of Pure and Applied Logic,
Vol. 69,
Issue. 1,
p.
73.
de Groote, Philippe
1994.
Trees in Algebra and Programming — CAAP'94.
Vol. 787,
Issue. ,
p.
85.
Kanovich, Max I.
1994.
Logical Foundations of Computer Science.
Vol. 813,
Issue. ,
p.
184.
Herbelin, Hugo
1995.
Computer Science Logic.
Vol. 933,
Issue. ,
p.
61.
Lamarche, F.
1995.
Games semantics for full propositional linear logic.
p.
464.