| |
| 2004 | ||
|---|---|---|
| 16 | EE | Jonathan P. Seldin: Interpreting HOL in the calculus of constructions. J. Applied Logic 2(2): 173-189 (2004) |
| 15 | EE | Martin W. Bunder, Jonathan P. Seldin: Variants of the basic calculus of constructions. J. Applied Logic 2(2): 191-217 (2004) |
| 2001 | ||
| 14 | EE | Jonathan P. Seldin: Extensional Set Equality in the Calculus of Constructions. J. Log. Comput. 11(3): 483-493 (2001) |
| 2000 | ||
| 13 | Jonathan P. Seldin: On The Role of Implication in Formal Logic. J. Symb. Log. 65(3): 1076-1114 (2000) | |
| 12 | Jonathan P. Seldin: On lists and other abstract data types in the calculus of constructions. Mathematical Structures in Computer Science 10(2): 261-276 (2000) | |
| 11 | EE | Jonathan P. Seldin: A Gentzen-style sequent calculus of constructions with expansion rules. Theor. Comput. Sci. 243(1-2): 199-215 (2000) |
| 1999 | ||
| 10 | Mariangiola Dezani-Ciancaglini, Giuseppe Longo, Jonathan P. Seldin: Preface. Mathematical Structures in Computer Science 9(4): 321 (1999) | |
| 1997 | ||
| 9 | Jonathan P. Seldin: On the Proof Theory of Coquand's Calculus of Constructions. Ann. Pure Appl. Logic 83(1): 23-101 (1997) | |
| 1992 | ||
| 8 | Jonathan P. Seldin: Coquand's Calculus of Constructions: A Mathematical Foundation for a Proof Development System. Formal Asp. Comput. 4(5): 425-441 (1992) | |
| 1989 | ||
| 7 | Martin W. Bunder, J. Roger Hindley, Jonathan P. Seldin: On Adding (xi) to Weak Equality in Combinatory Logic. J. Symb. Log. 54(2): 590-607 (1989) | |
| 1986 | ||
| 6 | J. Roger Hindley, Jonathan P. Seldin: Introduction to Combinators and Lambda-Calculus. Cambridge University Press 1986 | |
| 5 | Jonathan P. Seldin: On the Proof Theory of the Intermediate Logic MH. J. Symb. Log. 51(3): 626-647 (1986) | |
| 1978 | ||
| 4 | Martin W. Bunder, Jonathan P. Seldin: Some Anomalies in Fitch's System QD. J. Symb. Log. 43(2): 247-249 (1978) | |
| 3 | Jonathan P. Seldin: A Sequent Calculus Formulation of Type Assignment with Equality Rules for the lambda beta-Calculus. J. Symb. Log. 43(4): 643-649 (1978) | |
| 1977 | ||
| 2 | Jonathan P. Seldin: A Sequent Calculus for Type Assignment. J. Symb. Log. 42(1): 11-28 (1977) | |
| 1973 | ||
| 1 | Jonathan P. Seldin: Equality in F 21. J. Symb. Log. 38(4): 571-575 (1973) | |
| 1 | Martin W. Bunder | [4] [7] [15] |
| 2 | Mariangiola Dezani-Ciancaglini | [10] |
| 3 | J. Roger Hindley | [6] [7] |
| 4 | Giuseppe Longo | [10] |