Pages that link to "Item:Q5300899"
From MaRDI portal
The following pages link to A Type-Checking Algorithm for Martin-Löf Type Theory with Subtyping Based on Normalisation by Evaluation (Q5300899):
Displayed 1 item.
The following pages link to A Type-Checking Algorithm for Martin-Löf Type Theory with Subtyping Based on Normalisation by Evaluation (Q5300899):
Displayed 1 item.