A Resource Aware Computational Interpretation for Herbelin’s Syntax

DOI10.1007/978-3-319-25150-9_23zbMath1407.68272OpenAlexW2406089210MaRDI QIDQ2787437

Daniel Lima Ventura, Delia Kesner

Publication date: 25 February 2016

Published in: Theoretical Aspects of Computing - ICTAC 2015 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-25150-9_23

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Related Items (7)

Unnamed Item ⋮ A resource aware semantics for a focused intuitionistic calculus ⋮ Tight typings and split bounds, fully developed ⋮ Unnamed Item ⋮ Strong normalization through intersection types and memory ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: A Resource Aware Computational Interpretation for Herbelin’s Syntax