Universe Polymorphism in Coq

Authors:

Publisher website

1 January 2014

book chapter
Published by Springer Nature

p. 499-514
DOI:10.1007/978-3-319-08970-6_32

Abstract

No abstract available

Keywords

Cited by 41 articles