( en | de | ru )

 

Disambiguierung von "Seldin, Jonathan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Introduction to Combinators and &lgr;-Calculus

, und . Students Texts Nr. 1 London Mathematical Society, (1986)HIN r 86:1.

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.

Jonathan Burmeister

Jonathan Vöglein

Jonathan Rother

Jonathan Roericht

Jonathan Dörr

 

Weitere Publikationen von Autoren mit dem selben Namen

Introduction to Combinators and &lgr;-Calculus, und . Students Texts Nr. 1 London Mathematical Society, (1986)HIN r 86:1.On The Role of Implication in Formal Logic.. J. Symb. Log., 65 (3): 1076-1114 (2000)On lists and other abstract data types in the calculus of constructions.. Math. Struct. Comput. Sci., 10 (2): 261-276 (2000)A Gentzen-style sequent calculus of constructions with expansion rules.. Theor. Comput. Sci., 243 (1-2): 199-215 (2000)Bridging Curry and Church's typing style., , und . J. Appl. Log., (2016)A Sequent Calculus for Type Assignment.. J. Symb. Log., 42 (1): 11-28 (1977)The paradoxes and the infinite dazzled ancient mathematics and continue to do so today., und . CoRR, (2024)The search for a reduction in combinatory logic equivalent to λβ-reduction.. Theor. Comput. Sci., 412 (37): 4905-4918 (2011)The Logic of Church and Curry.. Logic from Russell to Church, Volume 5 von Handbook of the History of Logic, Elsevier, (2009)Normalization and excluded middle. I.. Stud Logica, 48 (2): 193-217 (1989)