Accéder directement au contenu

Emmanuel Hainry

1
Documents
Affiliations actuelles
  • 529408
  • 413289
  • 206040
Identifiants chercheurs

Publications

1149693
Image document

Complete and tractable machine-independent characterizations of second-order polytime

Emmanuel Hainry , Bruce M Kapron , Jean-Yves Marion , Romain Péchoux
FoSSaCS 2022 - 25th International Conference on Foundations of Software Science and Computation Structures, Apr 2022, Munich, Germany. pp.368-388, ⟨10.1007/978-3-030-99253-8_19⟩
Communication dans un congrès hal-03722245v1