scientific article; zbMATH DE number 6865904
From MaRDI portal
Publication:4639093
DOI10.4230/LIPICS.TYPES.2015.0zbMATH Open1392.68035MaRDI QIDQ4639093
Author name not available (Why is that?)
Publication date: 2 May 2018
Full work available at URL: http://drops.dagstuhl.de/opus/volltexte/lipics-complete/lipics-vol69-types2015-complete.pdf
Title of this publication is not available (Why is that?)
No records found.
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4639093)