Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Valentini, Silvio
and
Viale, Matteo
2003.
A binary modal logic for the intersection types of lambda-calculus.
Information and Computation,
Vol. 185,
Issue. 2,
p.
211.
Sørensen, M.H.
and
Urzyczyn, P.
2006.
Lectures on the Curry-Howard Isomorphism.
Vol. 149,
Issue. ,
p.
403.
Sørensen, Morten Heine
and
Urzyczyin, Pawel
2006.
Lectures on the Curry-Howard Isomorphism.
Vol. 149,
Issue. ,
p.
55.