• Sign in
  • Sign up
conf.researchr.org / Marc De Visme
  • ETAPS 2019 profile
  • POPL 2019 profile
  • POPL 2020 profile

Registered user since Tue 6 Nov 2018

Name:Marc De Visme
Affiliation:ENS Lyon

Contributions

2020

POPL

  • Author of Full Abstraction for the Quantum Lambda-Calculus within the Research Papers-track

2019

GaLoP

  • Author of Full Abstraction for the Quantum Lambda-Calculus within the GaLoP-track

POPL

  • Author of Intersection Types and Runtime Errors in the Pi-Calculus within the Research Papers-track
  • Author of Game Semantics for Quantum Programming within the Research Papers-track
Share
xFri 18 Jul 10:04
using conf.researchr.org (v1.69.1)
Support page
Sign Up