A functional interpretation with state (Q5145361)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A functional interpretation with state |
scientific article; zbMATH DE number 7298809
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A functional interpretation with state |
scientific article; zbMATH DE number 7298809 |
Statements
A functional interpretation with state (English)
0 references
20 January 2021
0 references
functional interpretation
0 references
program extraction
0 references
state monad
0 references
0.812383770942688
0 references
0.8022222518920898
0 references
0.7995302677154541
0 references
0.77071613073349
0 references
0.7439233660697937
0 references
