A Formulae-as-Types Interpretation of Subtractive Logic (Q4823807)
From MaRDI portal
scientific article; zbMATH DE number 2112323
Language | Label | Description | Also known as |
---|---|---|---|
English | A Formulae-as-Types Interpretation of Subtractive Logic |
scientific article; zbMATH DE number 2112323 |
Statements
A Formulae-as-Types Interpretation of Subtractive Logic (English)
0 references
28 October 2004
0 references
Curry-Howard isomorphism
0 references
subtractive logic
0 references
control operators
0 references
coroutines
0 references