Martin Hofmann’s case for non-strictly positive data types
| Date first appeared online | 19/11/2019 |
| DOI | 10.4230/LIPIcs.TYPES.2018.1 |
| Authors | Berger U., Setzer A. |
| Journal Name | Leibniz International Proceedings in Informatics, LIPIcs |
| Volume | 130 |
Documents
- finalSubmission.pdf , Book, Released under the terms of a Creative Commons Attribution 3.0 Unported license (CC-BY).