A compositional typed higher-order logic with definitions (Q5240216)
From MaRDI portal
scientific article; zbMATH DE number 7121948
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A compositional typed higher-order logic with definitions |
scientific article; zbMATH DE number 7121948 |
Statements
24 October 2019
0 references
logic
0 references
semantics
0 references
compositionality
0 references
A compositional typed higher-order logic with definitions (English)
0 references
