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 logic², non-idempotent intersection types, parallel reduction, proof-net, quantitative subject reduction, relational semantics, Shuffling Calculus, Size invariance, Type derivation.