research
∙
03/14/2023
Normal Form Bisimulations By Value
Sangiorgi's normal form bisimilarity is call-by-name, identifies all the...
share
research
∙
04/19/2022
Strategies for Asymptotic Normalization
We present a technique to study normalizing strategies when termination ...
research
∙
04/20/2021
On reduction and normalization in the computational core
We study the reduction in a lambda-calculus derived from Moggi's computa...
research
∙
01/20/2021
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic (long version)
In each variant of the lambda-calculus, factorization and normalization ...
research
∙
10/23/2020
Intersection Types and (Positive) Almost-Sure Termination
Randomized higher-order computation can be seen as being captured by a l...
research
∙
05/04/2020
Factorize Factorization
We present a new technique for proving factorization theorems for compou...
research
∙
08/29/2019
Factorization and Normalization, Essentially
Lambda-calculi come with no fixed evaluation strategy. Different strateg...
research
∙
01/09/2019
Lambda Calculus and Probabilistic Computation
We introduce two extensions of λ-calculus with a probabilistic choice op...
research
∙
04/16/2018
