Record Beta
Intersection Types and Related Systems
https://id.confref.org/data/confref-portal/event/itrs2014
This record is part of the confref event Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014..
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.