The \(HOL\) logic extended with quantification over type variables
From MaRDI portal
(Redirected from The HOL logic extended with quantification over type variables)
The \(HOL\) logic extended with quantification over type variables
The \(HOL\) logic extended with quantification over type variables
WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.
