Algebraic Specifications, Higher-order Types and Set-theoretic Models (Q2752531)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic Specifications, Higher-order Types and Set-theoretic Models |
scientific article |
Statements
Algebraic Specifications, Higher-order Types and Set-theoretic Models (English)
0 references
16 October 2001
0 references
intensional set theory
0 references
higher-order types
0 references
Horn-clause
0 references
Z framework
0 references
