Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both? (Q4981278)
From MaRDI portal
scientific article; zbMATH DE number 6307772
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both? |
scientific article; zbMATH DE number 6307772 |
Statements
Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic, or Both? (English)
0 references
24 June 2014
0 references
