( en | de | ru )

 

Disambiguierung von "Rahli, Vincent"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Realisability Semantics for Intersection Types with Expansion Variables.

, , , und . Fundam. Informaticae, 121 (1-4): 153-184 (2012)

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.

Vincent Kuhn

Vincent Saderne

Vincent Liebert

Vincent Tejedor

Vincent Kisselbach

 

Weitere Publikationen von Autoren mit dem selben Namen

A Generic Approach to Proofs about Substitution., und . LFMTP, Seite 5: 1-5: 8. ACM, (2014)A Verified Theorem Prover Backend Supported by a Monotonic Library., , und . LPAR, Volume 57 von EPiC Series in Computing, Seite 564-582. EasyChair, (2018)Simplified Reducibility Proofs of Church-Rosser for beta- and betaeta-reduction., und . LSFA, Volume 247 von Electronic Notes in Theoretical Computer Science, Seite 85-101. Elsevier, (2008)Computability Beyond Church-Turing via Choice Sequences., , , und . LICS, Seite 245-254. ACM, (2018)A nominal exploration of intuitionism., und . CPP, Seite 130-141. ACM, (2016)On Realisability Semantics for Intersection Types with Expansion Variables., , , und . Fundam. Informaticae, 121 (1-4): 153-184 (2012)Bar Induction is Compatible with Constructive Type Theory., , , und . J. ACM, 66 (2): 13:1-13:35 (2019)PISTIS: From a Word-of-Mouth to a Gentleman's Agreement., , , und . CoRR, (2020)Inductive Continuity via Brouwer Trees., , , und . MFCS, Volume 272 von LIPIcs, Seite 37:1-37:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables., , , und . ICTAC, Volume 5160 von Lecture Notes in Computer Science, Seite 171-185. Springer, (2008)