William Troiani | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Daniel Murfet
6 publications

research

∙ 07/22/2022

Elimination and cut-elimination in multiplicative linear logic

We associate to every proof structure in multiplicative linear logic an ...

0 Daniel Murfet, et al. ∙

research

∙ 08/23/2020

Gentzen-Mints-Zucker duality

The Curry-Howard correspondence is often described as relating proofs (i...

0 Daniel Murfet, et al. ∙