Publisher
Springer International Publishing
Reference84 articles.
1. Angiuli C, Cavallo E, Mörtberg A, Zeuner M (2021) Internalizing representation independence with univalence. Proc ACM Program Lang 5(POPL), Article 12:1–30
2. Armstrong A, Bauereiss T, Campbell B, Reid A, Gray KE, Norton RM, Mundkur P, Wassell M, French J, Pulte C, Flur S, Stark I, Krishnaswami N, Sewell P (2019) ISA semantics for ARMv8-a, RISC-v, and CHERI-MIPS. Proc ACM Program Lang 3(POPL), Article 71:1–31
3. Awodey S, Gambino N, Sojakova K (2012) Inductive types in homotopy type theory. In: LICS ’12: proceedings of the 2012 27th annual IEEE/ACM symposium on logic in computer science. IEEE, pp 95–104
4. Barthe G, Capretta V, Pons O (2003) Setoids in type theory. J Funct Program 13(2):261–293
5. Bauer A (2020) Answer to the question: What makes dependent type theory more suitable than set theory for proof assistants? MathOverflow. https://mathoverflow.net/q/376973