• Sign in
  • Sign up
conf.researchr.org / Paul-André Melliès
  • ETAPS 2019 profile
  • POPL 2019 profile
  • POPL 2022 profile
  • POPL 2024 profile
Paul-André Melliès

Registered user since Tue 22 Jan 2019

Name:Paul-André Melliès
Country:France
Affiliation:CNRS; Université de Paris
Personal website: https://www.irif.fr/~mellies/
X (Twitter): https://x.com/pamellies
GitHub: https://github.com/pamellies

Contributions

2024

GaLoP

  • Committee Member in Program Committee within the GALOP 2024-track

2022

POPL

  • Author of Layered and Object-Based Game Semantics within the POPL-track

2019

GaLoP

  • Invited Speaker of Template games: a homotopy model of differential linear logic within the GaLoP-track

POPL

  • Author of Categorical Combinatorics of Scheduling and Synchronization in Game Semantics within the Research Papers-track
Share
xThu 15 May 14:02
using conf.researchr.org (v1.69.0)
Support page
Sign Up