Computation by interaction for space-bounded functional programming (Q276265)
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: Computation by interaction for space-bounded functional programming |
scientific article; zbMATH DE number 6576635
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computation by interaction for space-bounded functional programming |
scientific article; zbMATH DE number 6576635 |
Statements
Computation by interaction for space-bounded functional programming (English)
0 references
3 May 2016
0 references
implicit computational complexity
0 references
logarithmic space
0 references
type system
0 references
geometry of interaction
0 references
functional programming
0 references
0 references
0.8856457
0 references
0.88024765
0 references
0.8734554
0 references
0.8508509
0 references
0.8508509
0 references
0.8499953
0 references
0.83889014
0 references
