Pages that link to "Item:Q2817296"
From MaRDI portal
The following pages link to Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics (Q2817296):
Displayed 3 items.
The following pages link to Incorporating Quotation and Evaluation into Church’s Type Theory: Syntax and Semantics (Q2817296):
Displayed 3 items.