Pages that link to "Item:Q5262927"
From MaRDI portal
The following pages link to Normalization by Evaluation for Martin-Löf Type Theory with One Universe (Q5262927):
Displayed 2 items.
The following pages link to Normalization by Evaluation for Martin-Löf Type Theory with One Universe (Q5262927):
Displayed 2 items.