Parametric quantifiers for dependent types
Paper in proceeding, 2017
No abstract available
Author
Andreas Nuyts
KU Leuven
Andrea Vezzosi
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Dominique Devriese
KU Leuven
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 104 83-849783959770712 (ISBN)
23rd International Conference on Types for Proofs and Programs, TYPES 2017
Budapest, Hungary,
Budapest, Hungary,
Subject Categories
Algebra and Logic
Computer Science
Computer Systems