Autor der Publikation

Strong cut-elimination in sequent calculus using Klop's iota-translation and perpetual reductions.

, und . J. Symb. Log., 73 (3): 919-932 (2008)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Strong cut-elimination in sequent calculus using Klop's iota-translation and perpetual reductions., und . J. Symb. Log., 73 (3): 919-932 (2008)Typed Lambda Calculi and Applications 2003, Selected Papers., und . Fundam. Informaticae, (2005)ML Typability is DEXTIME-Complete., , und . CAAP, Volume 431 von Lecture Notes in Computer Science, Seite 206-220. Springer, (1990)The Emptiness Problem for Intersection Types. LICS, Seite 300-309. IEEE Computer Society, (1994)The Logic of Persistent Intersection.. Fundam. Informaticae, 103 (1-4): 303-322 (2010)The Hierarchy of Finitely Typed Functional Programs (Short Version), , und . LICS, Seite 225-235. IEEE Computer Society, (1987)Necessary and Sufficient Conditions for University of Programming Formalisms (Partial Report)., und . Logic of Programs, Volume 164 von Lecture Notes in Computer Science, Seite 279-289. Springer, (1983)Inhabitation of Low-Rank Intersection Types.. TLCA, Volume 5608 von Lecture Notes in Computer Science, Seite 356-370. Springer, (2009)In the Search of a Naive Type Theory., und . TYPES, Volume 4941 von Lecture Notes in Computer Science, Seite 110-124. Springer, (2007)The Subtyping Problem for Second-Order Types is Undecidable., und . LICS, Seite 74-85. IEEE Computer Society, (1996)