PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "van Bakel, Steffen"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Comparing Cubes of Typed and Type Assignment Systems.

, , , und . Ann. Pure Appl. Logic, 86 (3): 267-303 (1997)

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.

Dr. Chantalle van Dijk University of Stuttgart

On the Relation Between Cross-Linguistic Influence, Between-Language Priming and Language Proficiency : Priming of Ungrammatical Adjective Placement in Bilingual Spanish-Dutch and French-Dutch Children, und . Open mind, (2023)

Nina van den Daele University of Stuttgart

Dr. phil. Leo van Waveren University of Stuttgart

Dr. Thijs van Westen University of Stuttgart

Jan Vanvinkenroye University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Preface., , und . Ann. Pure Appl. Logic, 164 (6): 589-590 (2013)Rank 2 Intersection Type Assignment in Term Rewriting Systems.. Fundam. Inform., 26 (2): 141-166 (1996)The heart of intersection type assignment: Normalisation proofs revisited.. Theor. Comput. Sci., 398 (1-3): 82-94 (2008)Sound and Complete Typing for lambda-mu. ITRS, Volume 45 von EPTCS, Seite 31-44. (2010)Polymorphic Intersection Type Assignment for Rewrite Systems with Abstractions and beta-Rule., , und . TYPES, Volume 1956 von Lecture Notes in Computer Science, Seite 41-60. Springer, (1999)Strong Normalization of Typeable Rewrite Systems., und . HOA, Volume 816 von Lecture Notes in Computer Science, Seite 20-39. Springer, (1993)Preface.. Electron. Notes Theor. Comput. Sci., 70 (1): 182-183 (2002)Orchestrated session compliance., , und . J. Log. Algebraic Methods Program., 86 (1): 30-76 (2017)Subject Reduction vs Intersection.. BCS Int. Acad. Conf., Seite 249-258. British Computer Society, (2008)Normalization, approximation, and semantics for combinator systems., und . Theor. Comput. Sci., 290 (1): 975-1019 (2003)