ETAPS 2017

2017 European Joint Conferences on Theory and Practice of Software (ETAPS), April 22–29, 2017, Uppsala, Sweden

Desktop Layout

Semantics and Category Theory
FOSSACS
Sal C
A Light Modality for Recursion
Paula Severi
(University of Leicester, UK)
Best-Paper Award Nominee
Publisher's Version
Preprint

Author: