Head linear reduction and pure proof net extraction (Q1342250)
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: Head linear reduction and pure proof net extraction |
scientific article; zbMATH DE number 710241
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Head linear reduction and pure proof net extraction |
scientific article; zbMATH DE number 710241 |
Statements
Head linear reduction and pure proof net extraction (English)
0 references
11 January 1995
0 references
proof net calculus
0 references
0.8126972
0 references
0.81049806
0 references
0.8092025
0 references
0.8068255
0 references
0.7964776
0 references
0 references
0 references
