"Proceedings Fourth Workshop on Mathematically Structured Functional ..."

James Chapman, Paul Blain Levy (2012)

Details and statistics

DOI: 10.4204/EPTCS.76

access: open

type: Editorship

metadata version: 2019-12-27

a service of  Schloss Dagstuhl - Leibniz Center for Informatics