Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems
Logic in Computer Science
2019-04-23 v1 Computational Complexity
Programming Languages
Abstract
This volume contains a final and revised selection of papers presented at Twelfth Workshop on Developments in Computational Models (DCM 2018) and the Ninth Workshop on Intersection Types and Related Systems (ITRS 2018), held on July 8, 2018 in Oxford, in affiliation with FLOC 2018.
Keywords
Cite
@article{arxiv.1904.09561,
title = {Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems},
author = {Michele Pagani and Sandra Alves},
journal= {arXiv preprint arXiv:1904.09561},
year = {2019}
}