Loïc Peyrot | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Delia Kesner
13 publications
José Espírito Santo
3 publications
Daniel Ventura
3 publications

research

∙ 07/14/2022

Node Replication: Theory And Practice

We define and study a term calculus implementing higher-order node repli...

0 Delia Kesner, et al. ∙

research

∙ 01/11/2022

A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications (Long Version)

We introduce a call-by-name lambda-calculus λ J with generalized applica...

0 José Espírito Santo, et al. ∙