Probabilistic Termination by Monadic Affine Sized Typing von Dal Lago, Ugo, Grellois, Charles

Volltext

ON HIGHER-ORDER PROBABILISTIC SUBRECURSION von Breuvart, Flavien, Dal Lago, Ugo, Herrou, Agathe

Volltext

Reasonable Space for the ${\lambda}$-Calculus, Logarithmically von Accattoli, Beniamino, Lago, Ugo Dal, Vanoni, Gabriele

Volltext

Preface to the special issue on metric and differential semantics von Dal Lago, Ugo, Gavazzo, Francesco, Pistone, Paolo

Volltext

On Constructor Rewrite Systems and the Lambda Calculus von Lago, Ugo Dal, Martini, Simone

Volltext

Linear Dependent Types and Relative Completeness von Lago, Ugo Dal, Gaboardi, Marco

Volltext

Probabilistic operational semantics for the lambda calculus von Lago, Ugo Dal, Zorzi, Margherita

Volltext

Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs von Baillot, Patrick, Barthe, Gilles, Dal Lago, Ugo

Volltext

Implicit recursion-theoretic characterizations of counting classes von Dal Lago, Ugo, Kahle, Reinhard, Oitavem, Isabel

Volltext

Linear Dependent Types and Relative Completeness von Dal Lago, Ugo, Gaboardi, M.

Volltext

Context semantics, linear logic, and computational complexity von Lago, Ugo Dal

Volltext

Light Logics and Higher-Order Processes von Dal Lago, Ugo, Martini, Simone, Sangiorgi, Davide

Volltext

On Applicative Similarity, Sequentiality, and Full Abstraction von Crubillé, Raphaëlle, Dal Lago, Ugo, Sangiorgi, Davide, Vignudelli, Valeria

Volltext

Preface von Dal Lago, Ugo, Gorla, Daniele

Volltext

A Short Introduction to Implicit Computational Complexity von Dal Lago, Ugo

Volltext

Light Logics and the Call-by-Value Lambda Calculus von Coppola, Paolo, Dal Lago, Ugo, Ronchi Della Rocca, Simona

Volltext

On probabilistic term rewriting von Avanzini, Martin, Dal Lago, Ugo, Yamada, Akihisa

Volltext

A Lambda-Calculus Foundation for Universal Probabilistic Programming von Borgström, Johannes, Dal Lago, Ugo, Gordon, Andrew D., Szymczak, Marcin

Volltext

On counting propositional logic and Wagner's hierarchy von Antonelli, Melissa, Dal Lago, Ugo, Pistone, Paolo

Volltext

An Invariant Cost Model for the Lambda Calculus von Dal Lago, Ugo, Martini, Simone

Volltext