Contact
DMCA
Privacy
Robuta
https://arxiv.org/abs/1911.08174
[1911.08174] Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant...
Abstract page for arXiv paper 1911.08174: Failure of Normalization in Impredicative Type Theory with Proof-Irrelevant Propositional Equality
type theory
failure
normalization
impredicative