"Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS ..."

Stéphane Graham-Lengrand, Luca Paolini (2013)

Details and statistics

DOI: 10.4204/EPTCS.121

access: open

type: Editorship

metadata version: 2018-11-14

a service of  Schloss Dagstuhl - Leibniz Center for Informatics