Figures and Topics from this paper
79 Citations
A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)
- Mathematics, Computer Science
- FoSSaCS
- 2008
- 17
- Highly Influenced
- PDF
Dialectica Categories for the Lambek Calculus
- Mathematics, Computer Science
- LFCS
- 2018
- 3
- Highly Influenced
- PDF
Multiple Conclusion Linear Logic: Cut Elimination and More
- Mathematics, Computer Science
- LFCS
- 2016
- 6
- Highly Influenced
- PDF
References
SHOWING 1-10 OF 82 REFERENCES
Eds). Haskell: A non-strict, purely functional language
- ACM SIGPLAN Notices,
- 1992
Computational Interpretations of Linear Logic
- Mathematics, Computer Science
- Theor. Comput. Sci.
- 1993
- 504
- Highly Influential
Linear Logic, -Autonomous Categories and Cofree Coalgebras
- Computer Science
- 1989
- 260
- Highly Influential
- PDF
Proofs and Types, volume 7 of Cambridge Tracts in Theoretical Computer Science
- Cambridge University Press,
- 1989
A new implementation technique for applicative languages
- Computer Science
- Softw. Pract. Exp.
- 1979
- 681
- Highly Influential
- PDF