We introduce and study a functional language λR, having two main features. λr has the same computational power of the λ-calculus. λR enjoys the resource-awareness of the typed/typable functional languages which encode the Intuitionistic Linear Logic.
CITATION STYLE
Roversi, L. (1997). A type-free resource-aware λ-calculus. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1258, pp. 399–413). Springer Verlag. https://doi.org/10.1007/3-540-63172-0_52
Mendeley helps you to discover research relevant for your work.