Searching for "Operational Interpretations of Linear Logic." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Operational Interpretations of Linear Logic
- …Operational Interpretations of Linear Logic David N. Turner, An Teallach Limited, dnt…
- Cited by 17 (0 self) – Add To MetaCart
-
Specification of Term Rewriting in Linear Logic
- …" goal. Some operational interpretations of linear logic in accord to this idea have been proposed…
- Cited by 1 (1 self) – Add To MetaCart
-
Modal proofs as distributed programs (extended abstract
- … of operational interpretations of linear logic. Several researchers [8, 9] gave interpretations of linear logic…
- Cited by 13 (0 self) – Add To MetaCart
-
An Efficient Linear Machine With Update-in-Place for Linear Variables
- … interpretation of linear logic based on DILL [1], a term calculus with a separation of intuitionistic and linear…
- Add To MetaCart
-
An Efficient Linear Machine With Single-Pointer Property
- ….e., these expressions might be copied. Turner and Wadler [14] describe an operational interpretation of linear logic…
- Add To MetaCart
Showing 1 through 5.
