Record Beta
Intersection Types and Related Systems
https://id.confref.org/data/confref-portal/event/itrs2016
This record is part of the confref event Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016..
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.