EasyChair Smart SlideDocs/Log in
Author: Giulio Guerrieri

This page shows all presentations of this author published in EasyChair Smart Slide.

The Bang Calculus and the Two Girard's Translations

The Bang Calculus and the Two Girard's Translations

Giulio Guerrieri and Giulio Manzonetto

Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus

Towards a Semantic Measure of the Execution Time in Call-by-Value lambda-Calculus

Giulio Guerrieri

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair