Berger, U., Matthes, R., & Setzer, A. (2019). Martin Hofmann’s case for non-strictly positive data types. Leibniz International Proceedings in Informatics, LIPIcs, 130(1), . doi:10.4230/LIPIcs.TYPES.2018.1
Chicago Style CitationBerger, Ulrich, Ralph Matthes, and Anton Setzer. "Martin Hofmann’s Case for Non-strictly Positive Data Types." Leibniz International Proceedings in Informatics, LIPIcs 130, no. 1 (2019).
MLA CitationBerger, Ulrich, Ralph Matthes, and Anton Setzer. "Martin Hofmann’s Case for Non-strictly Positive Data Types." Leibniz International Proceedings in Informatics, LIPIcs 130.1 (2019).
Warning: These citations may not always be 100% accurate.