PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Lenglet, Sergueï"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.

, , , , , und . POPL, Seite 5-18. ACM, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Lenglet, Sergueï
Eine Person hinzufügen mit dem Namen Lenglet, Sergueï
 

Weitere Publikationen von Autoren mit dem selben Namen

Proving Soundness of Extensional Normal-Form Bisimilarities., , und . CoRR, (2017)Bisimulations for Delimited-Control Operators., , und . Logical Methods in Computer Science, (2019)Expansion for Universal Quantifiers., und . ESOP, Volume 7211 von Lecture Notes in Computer Science, Seite 456-475. Springer, (2012)A Complete Normal-Form Bisimilarity for State., , und . FoSSaCS, Volume 11425 von Lecture Notes in Computer Science, Seite 98-114. Springer, (2019)Howe's Method for Calculi with Passivation., , und . CONCUR, Volume 5710 von Lecture Notes in Computer Science, Seite 448-462. Springer, (2009)HOπ in Coq., und . CPP, Seite 252-265. ACM, (2018)Characterizing contextual equivalence in calculi with passivation., , und . Inf. Comput., 209 (11): 1390-1433 (2011)Proving termination of evaluation for System F with control operators., , , und . COS, Volume 127 von EPTCS, Seite 15-29. (2013)Certified abstract machines for skeletal semantics., , und . CPP, Seite 55-67. ACM, (2022)Bisimulations dans les calculs avec passivation. (Bisimulations in calculi with passivation).. Joseph Fourier University, Grenoble, France, (2010)