Strong normalization theorems for quantized \(\lambda \)-calculi (Q3067641)
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: Strong normalization theorems for quantized -calculi |
scientific article; zbMATH DE number 5840257
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Strong normalization theorems for quantized \(\lambda \)-calculi |
scientific article; zbMATH DE number 5840257 |
Statements
21 January 2011
0 references
lambda calculus
0 references
strong normalization
0 references
substructural logic
0 references
quantum logic
0 references
involutive quantales
0 references
0.8121628165245056
0 references
0.8054068684577942
0 references
0.7757329344749451
0 references
