Optimized encodings of fragments of type theory in first order logic (Q4647585)
From MaRDI portal
scientific article; zbMATH DE number 7002058
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Optimized encodings of fragments of type theory in first order logic |
scientific article; zbMATH DE number 7002058 |
Statements
Optimized encodings of fragments of type theory in first order logic (English)
0 references
15 January 2019
0 references
type theory
0 references
intuitionistic logic
0 references
Horn clause
0 references
derivation rule
0 references
goal type
0 references
