Pages that link to "Item:Q1073008"
From MaRDI portal
The following pages link to Two \(\lambda\)-extensions of the theory of homogeneous simple types as a second-order logic (Q1073008):
Displayed 2 items.
The following pages link to Two \(\lambda\)-extensions of the theory of homogeneous simple types as a second-order logic (Q1073008):
Displayed 2 items.