in Leibniz International Proceedings in Informatics, LIPIcs, ISSN: 1868-8969
Volume: 104, Páginas: 59-60
Conference
23Rd International Conference on Types for Proofs and Programs, Types 2017, Date: 29 May 2017 through 1 June 2017, Patrocinadores: COST Action CA15123 EUTypes
