From types to sets by local type definition in higher-order logic (Q1722645)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From types to sets by local type definition in higher-order logic |
scientific article |
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
