๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Functional interpretations of linear and intuitionistic logic

โœ Scribed by Paulo Oliva


Book ID
113641814
Publisher
Elsevier Science
Year
2010
Tongue
English
Weight
282 KB
Volume
208
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Operational interpretations of linear lo
โœ David N. Turner; Philip Wadler ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 118 KB

Two di erent operational interpretations of intuitionistic linear logic have been proposed in the literature. The simplest interpretation recomputes non-linear values every time they are required. It has good memory-management properties, but is often dismissed as being too ine cient. Alternatively,