Login / Signup
Nicolas Munnich
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Search Algorithm
Nearest Neighbor
Machine Intelligence
Propositional Logic
Top Venues
CoRR
</>
Publications
</>
Benedetto Intrigila
,
Giulio Manzonetto
,
Nicolas Munnich
Extended Addressing Machines, explicit substitutions, PCF, definability, full abstraction.
CoRR
(2023)
Benedetto Intrigila
,
Giulio Manzonetto
,
Nicolas Munnich
Extended Addressing Machines for PCF, with Explicit Substitutions.
CoRR
(2022)