A Formulae-as-Types Interpretation of Subtractive Logic (Q4823807)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2112323
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7540630102157593
0 references
0.7540630102157593
0 references
0.7388333082199097
0 references
0.7379583120346069
0 references
