Jonathan P. Seldin

	2004
16		Jonathan P. Seldin: Interpreting HOL in the calculus of constructions. J. Applied Logic 2(2): 173-189 (2004)
15		Martin W. Bunder, Jonathan P. Seldin: Variants of the basic calculus of constructions. J. Applied Logic 2(2): 191-217 (2004)
	2001
14		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		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)

Coauthor Index

1	Martin W. Bunder	[4] [7] [15]
2	Mariangiola Dezani-Ciancaglini	[10]
3	J. Roger Hindley	[6] [7]
4	Giuseppe Longo	[10]