Suchergebnisse - "Theory of computation → Type theory type theory"

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

Autoren: Josselin Poiret Gaëtan Gilbert Kenji Maillard et al.

Weitere Verfasser: Josselin Poiret Gaëtan Gilbert Kenji Maillard et al.

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

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

Dateibeschreibung: application/pdf

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