Parametric quantifiers for dependent types
Paper i proceeding, 2017
Författare
Andreas Nuyts
KU Leuven
Andrea Vezzosi
Chalmers, Data- och informationsteknik, Datavetenskap
Dominique Devriese
KU Leuven
Publicerad i
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 104 s. 83-849783959770712 (ISBN)
Konferens
Budapest, Hungary, 2017-05-28 - 2017-05-31
Kategorisering
Ämneskategorier (SSIF 2011)
Algebra och logik
Datavetenskap (datalogi)
Datorsystem