Pages that link to "Item:Q763480"
From MaRDI portal
The following pages link to A correspondence between type checking via reduction and type checking via evaluation (Q763480):
Displayed 1 item.
The following pages link to A correspondence between type checking via reduction and type checking via evaluation (Q763480):
Displayed 1 item.