Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Wells, J.B.
1999.
Typability and type checking in System F are equivalent and undecidable.
Annals of Pure and Applied Logic,
Vol. 98,
Issue. 1-3,
p.
111.
Kfoury, A.J.
Ronchi della Rocca, S.
Tiuryn, J.
and
Urzyczyn, P.
1999.
Alpha-Conversion and Typability.
Information and Computation,
Vol. 150,
Issue. 1,
p.
1.
Kfoury, A. J.
and
Wells, J. B.
1999.
Principality and decidable type inference for finite-rank intersection types.
p.
161.
Wells, Joe B.
and
Haack, Christian
2002.
Programming Languages and Systems.
Vol. 2305,
Issue. ,
p.
115.
Wells, J. B.
2002.
Automata, Languages and Programming.
Vol. 2380,
Issue. ,
p.
913.
Damiani, Ferruccio
2003.
Rank 2 intersection types for local definitions and conditional expressions.
ACM Transactions on Programming Languages and Systems,
Vol. 25,
Issue. 4,
p.
401.
Kfoury, A.J.
and
Wells, J.B.
2004.
Principality and type inference for intersection types using expansion variables.
Theoretical Computer Science,
Vol. 311,
Issue. 1-3,
p.
1.
Carlier, Sébastien
and
Wells, J. B.
2004.
Type inference with expansion variables and intersection types in system E and an exact correspondence with β-reduction.
p.
132.
Carlier, Sébastien
and
Wells, J.B.
2005.
Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation.
Electronic Notes in Theoretical Computer Science,
Vol. 136,
Issue. ,
p.
173.
Sørensen, Morten Heine
and
Urzyczyin, Pawel
2006.
Lectures on the Curry-Howard Isomorphism.
Vol. 149,
Issue. ,
p.
269.
Sørensen, M.H.
and
Urzyczyn, P.
2006.
Lectures on the Curry-Howard Isomorphism.
Vol. 149,
Issue. ,
p.
403.
Bono, Viviana
Venneri, Betti
and
Bettini, Lorenzo
2008.
A typed lambda calculus with intersection types.
Theoretical Computer Science,
Vol. 398,
Issue. 1-3,
p.
95.
Ventura, D. L.
Kamareddine, F.
and
Ayala-Rincon, M.
2015.
Explicit substitution calculi with de Bruijn indices and intersection type systems.
Logic Journal of IGPL,
Vol. 23,
Issue. 2,
p.
295.
Bono, Viviana
and
Dezani-Ciancaglini, Mariangiola
2020.
A tale of intersection types.
p.
7.
Spies, Simon
and
Forster, Yannick
2020.
Undecidability of higher-order unification formalised in Coq.
p.
143.
Kamareddine, Fairouz
and
Wells, Joe
2024.
Logic, Language, Information, and Computation.
Vol. 14672,
Issue. ,
p.
80.