This page shows all presentations of this author published in EasyChair Smart Slide.
Resource Approximation for the Lambda-Mu-Calculus
Davide Barbarossa
Denotational Semantics Driven Simplicial Homology?