HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Giulio Guerrieri

Publications
Confluence for Proof-Nets via Parallel Cut Elimination
Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco and Lionel Vaux Auclair
In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus
Giulio Guerrieri
EasyChair Preprint 334

Keyphrases

call-by-value, confluence, cut elimination, denotational model, execution time, hypergraphs, lambda calculus, linear logic2, non-idempotent intersection types, parallel reduction, proof-net, quantitative subject reduction, relational semantics, Shuffling Calculus, Size invariance, Type derivation.

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