High-level signatures and initial semantics (Q5079724)
From MaRDI portal
scientific article; zbMATH DE number 7533329
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | High-level signatures and initial semantics |
scientific article; zbMATH DE number 7533329 |
Statements
28 May 2022
0 references
initial semantics
0 references
signatures
0 references
syntax
0 references
monadic substitution
0 references
computer-checked proofs
0 references
High-level signatures and initial semantics (English)
0 references
