An abstract monadic semantics for value recursion (Q4659889)
From MaRDI portal
scientific article; zbMATH DE number 2148226
Language | Label | Description | Also known as |
---|---|---|---|
English | An abstract monadic semantics for value recursion |
scientific article; zbMATH DE number 2148226 |
Statements
An abstract monadic semantics for value recursion (English)
0 references
21 March 2005
0 references
0 references