2 papers
cs.LO2024
Proceedings 13th International Workshop on Developments in Computational Models
Sandra Alves, Ian Mackie
This volume contains the proceedings of DCM 2023, the 13th International Workshop on Developments in Computational Models held on 2 July 2023 in Rome, Italy. DCM 2023 was organised…
cs.LO2015
Proceedings Third International Workshop on Linearity
Sandra Alves, Iliano Cervesato
This volume contains the papers presented at LINEARITY 2014, the Third International Workshop on Linearity, held on July 13, 2014 in Vienna, Austria. The workshop was a one-day sat…