Pietro Di Gianantonio | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Furio Honsell
5 publications
Marina Lenisa
4 publications
Ran Gutin
4 publications
Abbas Edalat
4 publications
Alberto Ciaffaglione
3 publications
Fabio Alessi
1 publication

research

∙ 10/12/2022

A language for evaluating derivatives of functionals using automatic differentiation

We present a simple functional programming language, called Dual PCF, th...

0 Pietro Di Gianantonio, 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. ∙