Linear logic and lazy computation

Publisher Website

9 June 2005

book chapter
Published by Springer Nature

p. 52-66
https://doi.org/10.1007/bfb0014972

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Implementing functional languages in the Categorical Abstract Machine
Published by Association for Computing Machinery (ACM) ,1986
Typed categorical combinatory logic
Published by Springer Nature ,1985