From types to sets by local type definition in higher-order logic (Q1722645)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: From types to sets by local type definition in higher-order logic |
scientific article; zbMATH DE number 7024458
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From types to sets by local type definition in higher-order logic |
scientific article; zbMATH DE number 7024458 |
Statements
From types to sets by local type definition in higher-order logic (English)
0 references
18 February 2019
0 references
HOL
0 references
Isabelle
0 references
local typedef
0 references
type definition
0 references
relativization
0 references
type classes
0 references
overloading
0 references
dependent types
0 references
consistency
0 references
transfer
0 references
type-based theorems
0 references
set-based theorems
0 references
0 references
