Pages that link to "Item:Q2713354"
From MaRDI portal
The following pages link to Dependent types and explicit substitutions: a meta-theoretical development (Q2713354):
Displayed 2 items.
The following pages link to Dependent types and explicit substitutions: a meta-theoretical development (Q2713354):
Displayed 2 items.