Nicolas Munnich | DeepAI

DeepAI

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

Featured Co-authors

Giulio Manzonetto
6 publications
Benedetto Intrigila
4 publications

research

∙ 06/23/2023

Extended Addressing Machines, explicit substitutions, PCF, definability, full abstraction

Extended addressing machines (EAMs) have been introduced to represent hi...

0 Benedetto Intrigila, et al. ∙

research

∙ 12/09/2022

Extended Addressing Machines for PCF, with Explicit Substitutions

Addressing machines have been introduced as a formalism to construct mod...

0 Benedetto Intrigila, et al. ∙