( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Introduction to Combinators and &lgr;-Calculus

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jonathan Roth

Jonathan Burmeister

Jonathan Dörr

Jonathan Vöglein

Jonathan Roericht

 

Другие публикации лиц с тем же именем

Introduction to Combinators and &lgr;-Calculus, и . Students Texts Nr. 1 London Mathematical Society, (1986)HIN r 86:1.A Sequent Calculus Formulation of Type Assignment with Equality Rules for the lambda beta-Calculus.. J. Symb. Log., 43 (4): 643-649 (1978)Bridging Curry and Church's typing style., , и . J. Appl. Log., (2016)On lists and other abstract data types in the calculus of constructions.. Math. Struct. Comput. Sci., 10 (2): 261-276 (2000)On The Role of Implication in Formal Logic.. J. Symb. Log., 65 (3): 1076-1114 (2000)A Sequent Calculus for Type Assignment.. J. Symb. Log., 42 (1): 11-28 (1977)The Q-consistency of F22.. Notre Dame J. Formal Log., 18 (1): 117-127 (1977)A second corrigendum to my paper: "Note on definitional reductions".. Notre Dame J. Formal Log., 21 (4): 728 (1980)Equality in F 21.. J. Symb. Log., 38 (4): 571-575 (1973)On the Proof Theory of the Intermediate Logic MH.. J. Symb. Log., 51 (3): 626-647 (1986)