Marina Lenisa | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Ugo Dal Lago
34 publications
Paolo Pistone
17 publications
Furio Honsell
5 publications
Ivan Scagnetto
5 publications
Alberto Ciaffaglione
3 publications
Pietro Di Gianantonio
2 publications
Fabio Alessi
1 publication

research

∙ 04/28/2022

On Quantitative Algebraic Higher-Order Theories

We explore the possibility of extending Mardare et al. quantitative alge...

0 Ugo Dal Lago, et al. ∙

research

∙ 10/24/2019

A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning

The Lax Logical Framework, LLFP, was introduced, by a team including the...

0 Fabio Alessi, et al. ∙

research

∙ 06/18/2018

Lambda-calculus and Reversible Automatic Combinators

In 2005, Abramsky introduced various linear/affine combinatory algebras ...

0 Alberto Ciaffaglione, et al. ∙

research

∙ 06/18/2018

Linear lambda-calculus and Reversible Automatic Combinators

In 2005, Abramsky introduced various linear/affine combinatory algebras ...

0 Alberto Ciaffaglione, et al. ∙