Nicolas Munnich

According to our database, Nicolas Munnich authored at least 2 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

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

Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich

CoRR, 2023

2022

Extended Addressing Machines for PCF, with Explicit Substitutions.

Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich

Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022