A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy-Reference-Cited by-同舟云学术

A Modified GoI Interpretation for a Linear Functional Programming Language and Its Adequacy

Published:2011 Issue: Volume: Page:320-334
ISSN:0302-9743
Container-title:Foundations of Software Science and Computational Structures
language:
Short-container-title:

Author:

Hoshino Naohiko

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-19805-2_22

Reference23 articles.

1. Abramsky, S., Haghverdi, E., Scott, P.J.: Geometry of interaction and linear combinatory algebras. Math. Struct. in Comput. Sci. 12(5), 625–665 (2002)

2. Lecture Notes in Computer Science;S. Abramsky,2000

3. Lecture Notes in Computer Science;S. Abramsky,1998

4. Baillot, P., Pedicini, M.: Elementary complexity and geometry of interaction. Fundam. Inf. 45(1-2), 1–31 (2001)

5. Barber, A., Plotkin, G.: Dual intuitionistic linear logic, Technical Reprot ECS-LFCS-96-347, LFCS, Universit of Edinburgh (1997)

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Enriched Presheaf Model of Quantum FPC;Proceedings of the ACM on Programming Languages;2024-01-05

2. Defunctionalisation as modular closure conversion;Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming;2017-10-09

3. Computation by interaction for space-bounded functional programming;Information and Computation;2016-06

4. Memoryful geometry of Interaction II: recursion and adequacy;ACM SIGPLAN Notices;2016-04-08

5. Memoryful geometry of interaction;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14