Pages that link to "Item:Q2364672"
From MaRDI portal
The following pages link to Theory morphisms in Church's type theory with quotation and evaluation (Q2364672):
Displayed 2 items.
The following pages link to Theory morphisms in Church's type theory with quotation and evaluation (Q2364672):
Displayed 2 items.