Nicolas Munnich

According to our database¹, Nicolas Munnich authored at least 3 papers between 2022 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

A Fully Abstract Model of PCF Based on Extended Addressing Machines.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2025

2023

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

[BibT_eX]

[DOI]

CoRR, 2023

2022

Extended Addressing Machines for PCF, with Explicit Substitutions.

[BibT_eX]

[DOI]

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