Beiträge in Tagungsbänden:
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 S.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.4204/EPTCS.293.3
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_283534.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.