Execution Time of lambda-Terms via Denotational Semantics and Intersection Types

Daniel de Carvalho

Type: Preprint

Publication Date: 2009-01-01

Citations: 53

DOI: https://doi.org/10.48550/arxiv.0905.4251

View Publication

Locations

arXiv (Cornell University) - View
DataCite API - View

Similar Works

Action	Title	Year	Authors
+	Linear Dependent Types in a Call-by-Value Scenario (Long Version)	2012	Ugo Dal Lago Barbara Petit
+	Relational type-checking for MELL proof-structures. Part 1: Multiplicatives	2016	Giulio Guerrieri Luc Pellissier Lorenzo Tortora de Falco
+	Linear dependent types in a call-by-value scenario	2013	Ugo Dal Lago Barbara Petit
+	Multi Types and Reasonable Space (Long Version)	2022	Beniamino Accattoli Ugo Dal Lago Gabriele Vanoni
+ PDF Chat	Linear Dependent Types and Relative Completeness	2012	Ugo Dal Lago Marco Gaboardi
+ PDF Chat	Krivine Machine and Taylor Expansion in a Non-uniform Setting	2017	Antoine Allioux
+	The Space of Interaction (long version)	2021	Beniamino Accattoli Ugo Dal Lago Gabriele Vanoni
+	The Space of Interaction (long version).	2021	Beniamino Accattoli Ugo Dal Lago Gabriele Vanoni
+ PDF Chat	Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus	2018	Giulio Guerrieri
+	Reasonable Space for the $λ$-Calculus, Logarithmically	2022	Beniamino Accattoli Ugo Dal Lago Gabriele Vanoni
+	Linear Rank Intersection Types	2022	Fábio Bueno dos Reis Sandra Alves Mário Florido
+ PDF Chat	Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus	2019	Giulio Guerrieri
+	The (In)Efficiency of Interaction	2020	Beniamino Accattoli Ugo Dal Lago Gabriele Vanoni
+	Reasonable Space for the ${\lambda}$-Calculus, Logarithmically	2024	Beniamino Accattoli Ugo Dal Lago Gabriele Vanoni
+	Monadic Intersection Types, Relationally (Extended Version)	2024	Francesco Gavazzo Riccardo Treglia Gabriele Vanoni
+ PDF Chat	Monadic Intersection Types, Relationally	2024	Francesco Gavazzo Riccardo Treglia Gabriele Vanoni
+	Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus (Long Version)	2018	Giulio Guerrieri
+ PDF Chat	Non-idempotent Intersection Types in Logical Form	2020	Thomas Ehrhard
+ PDF Chat	A New Proof of P-time Completeness of Linear Lambda Calculus	2018	Satoshi Matsuoka
+	The Geometry of Interaction of Differential Interaction Nets	2008	Marc de Falco

Works That Cite This (25)

Action	Title	Year	Authors
+ PDF Chat	An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets	2021	Jules Chouquet Lionel Vaux
+	A semantic account of strong normalization in Linear Logic	2013	Daniel de Carvalho Lorenzo Tortora de Falco
+	Intersection type calculi of bounded dimension	2016	Andrej Dudenhefner Jakob Rehof
+	Implementing distributed {\lambda}-calculus interpreter	2018	Alexandr Basov Daniel de Carvalho Manuel Mazzara
+	Relational type-checking for MELL proof-structures. Part 1: Multiplicatives	2016	Giulio Guerrieri Luc Pellissier Lorenzo Tortora de Falco
+ PDF Chat	Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus	2018	Giulio Guerrieri
+	The Cartesian Closed Bicategory of Thin Spans of Groupoids	2023	Pierre Clairambault Simon Forest
+	Tight Typings and Split Bounds	2018	Beniamino Accattoli Stéphane Graham-Lengrand Delia Kesner
+	Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)	2021	Joseph W. N. Paulus Daniele Nantes-Sobrinho Jorge A. Pérez
+	A type assignment for lambda-calculus complete both for FPTIME and strong normalization	2014	Erika De Benedetti Simona Ronchi Della Rocca

Works Cited by This (1)

Action	Title	Year	Authors
+ PDF Chat	Categories for the Working Mathematician	1971	Saunders Mac Lane