Higher inductive types in cubical computational type theory
Cavallo, Evan, Harper, RobertVolume:
3
Language:
english
Journal:
Proceedings of the ACM on Programming Languages
DOI:
10.1145/3290314
Date:
January, 2019
File:
PDF, 453 KB
english, 2019