"Type Reconstruction for the Linear π-Calculus with Composite and ..."

Luca Padovani (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics