[Back]


Talks and Poster Presentations (without Proceedings-Entry):

F. Aschieri:
"Natural Deduction and Normalization Proofs for the Intersection Type Discipline";
Talk: "Intersection Types and Related Systems" (ITRS 2018), Oxford; 2018-07-08.


Created from the Publication Database of the Vienna University of Technology.