All Your Base Are Belong to Us: Sort Polymorphism for Proof Assistants: Sort Polymorphism for Proof Assistants

Authors: Josselin Poiret, Gaëtan Gilbert, Kenji Maillard, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau, Éric Tanter

Contributors: Poiret, Josselin

Source: Proceedings of the ACM on Programming Languages. 9:2253-2281

Subject Terms: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], proof assistants, Theory of computation → Type theory type theory, type theory

File Description: application/pdf

Access URL: https://nantes-universite.hal.science/hal-04801739v1/document
https://nantes-universite.hal.science/hal-04801739v1
https://doi.org/10.1145/3704912