The Resource Lambda Calculus Is Short-Sighted in Its Relational Model (Q5300896)
From MaRDI portal
scientific article; zbMATH DE number 6182515
Language | Label | Description | Also known as |
---|---|---|---|
English | The Resource Lambda Calculus Is Short-Sighted in Its Relational Model |
scientific article; zbMATH DE number 6182515 |
Statements
The Resource Lambda Calculus Is Short-Sighted in Its Relational Model (English)
0 references
28 June 2013
0 references
full abstraction
0 references
resource \(\lambda \)-calculus
0 references
linear logic
0 references
nondeterminism
0 references