( en | de | ru )

 

Disambiguierung von "Regnier, Laurent"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Directed Virtual Reductions.

, , und . CSL, Volume 1258 von Lecture Notes in Computer Science, Seite 76-88. Springer, (1996)

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.

Rémi Régnier

Anton Regnier

Lise Regnier

Ferdinand Regnier

Antonia Viveca Regnier

 

Weitere Publikationen von Autoren mit dem selben Namen

Timeless Games., , , und . CSL, Volume 1414 von Lecture Notes in Computer Science, Seite 56-77. Springer, (1997)Directed Virtual Reductions., , und . CSL, Volume 1258 von Lecture Notes in Computer Science, Seite 76-88. Springer, (1996)Game Semantics & Abstract Machines., , und . LICS, Seite 394-405. IEEE Computer Society, (1996)Retractions of Types with Many Atoms, und . CoRR, (2002)Une équivalence sur les lambda-termes.. Theor. Comput. Sci., 126 (2): 281-292 (1994)Böhm Trees, Krivine's Machine and the Taylor Expansion of Lambda-Terms., und . CiE, Volume 3988 von Lecture Notes in Computer Science, Seite 186-197. Springer, (2006)Reversible, Irreversible and Optimal Lambda-machines., und . Linear Logic Tokyo Meeting, Volume 3 von Electronic Notes in Theoretical Computer Science, Seite 40-60. Elsevier, (1996)Paths in the lambda-calculus, , , und . LICS, Seite 426-436. IEEE Computer Society, (1994)Some Results on the Interpretation of lambda-calculus in Operator Algebras, und . LICS, Seite 63-72. IEEE Computer Society, (1991)Believe it or not, AJM's Games Model is a Model of Classical Linear Logic., , , und . LICS, Seite 68-75. IEEE Computer Society, (1997)