Claudia Faggian | DeepAI

DeepAI AI Chat

Featured Co-authors

Ugo Dal Lago
34 publications
Beniamino Accattoli
25 publications
Giulio Guerrieri
20 publications
Ugo de'Liguoro
10 publications
Riccardo Treglia
5 publications
Simona Ronchi Della Rocca
4 publications
Adrienne Lancelot
1 publication

∙ 03/14/2023

Normal Form Bisimulations By Value

Sangiorgi's normal form bisimilarity is call-by-name, identifies all the...

0 Beniamino Accattoli, et al. ∙

∙ 04/19/2022

Strategies for Asymptotic Normalization

We present a technique to study normalizing strategies when termination ...

0 Claudia Faggian, et al. ∙

∙ 04/20/2021

On reduction and normalization in the computational core

We study the reduction in a lambda-calculus derived from Moggi's computa...

0 Claudia Faggian, et al. ∙

∙ 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 ...

0 Claudia Faggian, et al. ∙

∙ 10/23/2020

Intersection Types and (Positive) Almost-Sure Termination

Randomized higher-order computation can be seen as being captured by a l...

0 Ugo Dal Lago, et al. ∙

∙ 05/04/2020

Factorize Factorization

We present a new technique for proving factorization theorems for compou...

0 Beniamino Accattoli, et al. ∙

∙ 08/29/2019

Factorization and Normalization, Essentially

Lambda-calculi come with no fixed evaluation strategy. Different strateg...

0 Beniamino Accattoli, et al. ∙

∙ 01/09/2019

Lambda Calculus and Probabilistic Computation

We introduce two extensions of λ-calculus with a probabilistic choice op...

0 Claudia Faggian, et al. ∙

∙ 04/16/2018

Probabilistic Rewriting: Relations between Normalization, Termination, and Unique Normal Forms

We investigate how techniques from Rewrite Theory can help us to study c...

0 Claudia Faggian, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world