Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
moved information on extension types from type theory with shapes to its own page
Added reference
- Tesla Zhang, Three non-cubical applications of extension types (arXiv:2311.05658)
Anonymouse
Also added reference
- Daniel Gratzer, Jonathan Sterling, Carlo Angiuli, Thierry Coquand, Lars Birkedal, Controlling unfolding in type theory (arXiv:2210.05420)
Anonymouse
Also added reference
- Jonathan Sterling, Robert Harper, Logical Relations as Types: Proof-Relevant Parametricity for Program Modules, Journal of the ACM, Volume 68, Issue 6, December 2021, Article No.: 41, pp 1-47. (doi:10.1145/3474834, arXiv:2010.08599)
Anonymouse
1 to 5 of 5