Labelled calculi of resources (Q2937686)
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: Labelled calculi of resources
scientific article; zbMATH DE number 6385558
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Labelled calculi of resources |
scientific article; zbMATH DE number 6385558 |
Statements
Labelled calculi of resources (English)
0 references
12 January 2015
0 references
lambda calculus
0 references
labels
0 references
geometry of interaction
0 references
explicit substitutions
0 references
0.8707050085067749
0 references
0.795198917388916
0 references
0.7833986878395081
0 references
0.7762666940689087
0 references
0.7570937871932983
0 references
