( en | de | ru )

 

Disambiguierung von "Curien, Pierre-Louis"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Sequent Calculus for Opetopes.

, , und . LICS, Seite 1-12. IEEE, (2019)

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.

Pierre Louis Kunsch

Pierre-Louis Poirion

Pierre-Louis Aublin

Louis-Pierre Bergé

Régis Curien

 

Weitere Publikationen von Autoren mit dem selben Namen

Obituary Maurice Nivat (1937-2017)., , und . Bull. EATCS, (2017)Coherence of Subsumption, Minimum Typing and Type-Checking in F<=., und . Math. Struct. Comput. Sci., 2 (1): 55-91 (1992)The Categorical Abstract Machine., , und . FPCA, Volume 201 von Lecture Notes in Computer Science, Seite 50-64. Springer, (1985)The Joy of String Diagrams.. CSL, Volume 5213 von Lecture Notes in Computer Science, Seite 15-22. Springer, (2008)Subtyping + Extensionality: Confluence of beta-eta-top reduction in F<=., und . TACS, Volume 526 von Lecture Notes in Computer Science, Seite 731-749. Springer, (1991)A Sequent Calculus for Opetopes., , und . LICS, Seite 1-12. IEEE, (2019)Explicit Substitutions., , , und . POPL, Seite 31-46. ACM Press, (1990)Typed Categorial Combinatory Logic.. TAPSOFT, Vol.1, Volume 185 von Lecture Notes in Computer Science, Seite 157-172. Springer, (1985)On the Symmetry of Sequentiality.. MFPS, Volume 802 von Lecture Notes in Computer Science, Seite 29-71. Springer, (1993)Coherence of Subsumption., und . CAAP, Volume 431 von Lecture Notes in Computer Science, Seite 132-146. Springer, (1990)