Programs with continuations and linear logic (Q1330460)
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: Programs with continuations and linear logic |
scientific article; zbMATH DE number 609587
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Programs with continuations and linear logic |
scientific article; zbMATH DE number 609587 |
Statements
Programs with continuations and linear logic (English)
0 references
21 July 1994
0 references
programs with continuations
0 references
linear logic
0 references
simply typed \(\lambda\)- calculus
0 references
0 references
0.8914053
0 references
0.8880078
0 references
0 references
