in Leibniz International Proceedings in Informatics, LIPIcs, ISSN: 1868-8969
Volume: 104, Pages: 47-48
Conference
23Rd International Conference on Types for Proofs and Programs, Types 2017, Date: 29 May 2017 through 1 June 2017, Sponsors: COST Action CA15123 EUTypes
