Record Beta
Intersection Types and Related Systems
https://id.confref.org/data/confref-portal/event/itrs2012
This record is part of the confref event Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012..
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.