HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Giulio Guerrieri

Publications
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus
Giulio Guerrieri
EasyChair Preprint no. 334

Keyphrases

call-by-value, denotational model, execution time, lambda calculus, linear logic, non-idempotent intersection types, quantitative subject reduction, relational semantics, Shuffling Calculus, Size invariance, Type derivation.

Copyright © 2012-2023 easychair.org. All rights reserved.