( en | de | ru )

 

Disambiguation of "Seldin, Jonathan"

Author of the publication

copydeleteadd this publication to your clipboard
Introduction to Combinators and &lgr;-Calculus

, and . 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. You can also use the button next to the name to display some publications already assigned to the person.

Jonathan Roth

Jonathan Cavanagh

Jonathan Vöglein

Jonathan Rother

Jonathan Burmeister

 

Other publications of authors with the same name

Introduction to Combinators and &lgr;-Calculus, and . Students Texts Nr. 1 London Mathematical Society, (1986)HIN r 86:1.On lists and other abstract data types in the calculus of constructions.. Math. Struct. Comput. Sci., 10 (2): 261-276 (2000)Bridging Curry and Church's typing style., , and . J. Appl. Log., (2016)On The Role of Implication in Formal Logic.. J. Symb. Log., 65 (3): 1076-1114 (2000)A Sequent Calculus Formulation of Type Assignment with Equality Rules for the lambda beta-Calculus.. J. Symb. Log., 43 (4): 643-649 (1978)A Sequent Calculus for Type Assignment.. J. Symb. Log., 42 (1): 11-28 (1977)On the Proof Theory of the Intermediate Logic MH.. J. Symb. Log., 51 (3): 626-647 (1986)Equality in F 21.. J. Symb. Log., 38 (4): 571-575 (1973)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)