Contributions to Proceedings:
F. Aschieri:
"Natural Deduction and Normalization Proofs for the Intersection Type Discipline";
in: "Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, and Ninth Workshop on Intersection Types and Related Systems",
Computing Research Repository (CoRR),
abs.1904-10106,
2019,
9 pages.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.4204/EPTCS.293.3
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_283534.pdf
Created from the Publication Database of the Vienna University of Technology.