Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Pitts, A. M.
1987.
Category Theory and Computer Science.
Vol. 283,
Issue. ,
p.
12.
Breazu-Tannen, Val
and
Coquand, Thierry
1988.
Extensional models for polymorphism.
Theoretical Computer Science,
Vol. 59,
Issue. 1-2,
p.
85.
Lambek, J.
1989.
Logic at Botik '89.
Vol. 363,
Issue. ,
p.
200.
Meseguer, José
1989.
Logic Colloquium'87, Proceedings of the Colloquium held in Granada.
Vol. 129,
Issue. ,
p.
275.
Ehrhard, Thomas
1989.
Category Theory and Computer Science.
Vol. 389,
Issue. ,
p.
213.
Streicher, Thomas
1989.
Category Theory and Computer Science.
Vol. 389,
Issue. ,
p.
141.
Moggi, Eugenio
1989.
Category Theory and Computer Science.
Vol. 389,
Issue. ,
p.
101.
Jacobs, Bart
1989.
Category Theory and Computer Science.
Vol. 389,
Issue. ,
p.
198.
Curien, Pierre-Louis
1989.
Alpha-conversion, conditions on variables and categorical logic.
Studia Logica,
Vol. 48,
Issue. 3,
p.
319.
Pitt, A.M.
1989.
Non trivial power types can't be subtypes of polymorphic types.
p.
6.
Poigné, Axel
1989.
Categorical Methods in Computer Science With Aspects from Topology.
Vol. 393,
Issue. ,
p.
82.
Gray, John W.
1989.
Categorical Methods in Computer Science With Aspects from Topology.
Vol. 393,
Issue. ,
p.
16.
Lambek, J.
1989.
On some connections between logic and category theory.
Studia Logica,
Vol. 48,
Issue. 3,
p.
269.
Scedrov, Andre
1990.
Logic and Computer Science.
Vol. 1429,
Issue. ,
p.
111.
Bainbridge, E.S.
Freyd, P.J.
Scedrov, A.
and
Scott, P.J.
1990.
Functorial polymorphism.
Theoretical Computer Science,
Vol. 70,
Issue. 1,
p.
35.
Abadi, M.
and
Plotkin, G.D.
1990.
A PER model of polymorphism and recursive types.
p.
355.
MITCHELL, John C.
1990.
Formal Models and Semantics.
p.
365.
BARENDREGT, H.P.
1990.
Formal Models and Semantics.
p.
321.
Bruce, Kim B.
and
Longo, Giuseppe
1990.
A modest model of records, inheritance, and bounded quantification.
Information and Computation,
Vol. 87,
Issue. 1-2,
p.
196.
Pavlović, Duško
1991.
Category Theory and Computer Science.
Vol. 530,
Issue. ,
p.
173.