Jonathan P. Seldin

	2011
18		Jonathan P. Seldin: The search for a reduction in combinatory logic equivalent to λβ-reduction. Theor. Comput. Sci. 412(37): 4905-4918 (2011)
	2004
17		Jonathan P. Seldin: Interpreting HOL in the calculus of constructions. J. Applied Logic 2(2): 173-189 (2004)
16		Martin W. Bunder, Jonathan P. Seldin: Variants of the basic calculus of constructions. J. Applied Logic 2(2): 191-217 (2004)
	2001
15		Jonathan P. Seldin: Extensional Set Equality in the Calculus of Constructions. J. Log. Comput. 11(3): 483-493 (2001)
	2000
14		Jonathan P. Seldin: On The Role of Implication in Formal Logic. J. Symb. Log. 65(3): 1076-1114 (2000)
13		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)
12		Jonathan P. Seldin: A Gentzen-style sequent calculus of constructions with expansion rules. Theor. Comput. Sci. 243(1-2): 199-215 (2000)
	1999
11		Mariangiola Dezani-Ciancaglini, Giuseppe Longo, Jonathan P. Seldin: Preface. Mathematical Structures in Computer Science 9(4): 321 (1999)
	1997
10		Jonathan P. Seldin: On the Proof Theory of Coquand's Calculus of Constructions. Ann. Pure Appl. Logic 83(1): 23-101 (1997)
	1992
9		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
8		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
7		J. Roger Hindley, Jonathan P. Seldin: Introduction to Combinators and Lambda-Calculus. Cambridge University Press 1986
6		Jonathan P. Seldin: On the Proof Theory of the Intermediate Logic MH. J. Symb. Log. 51(3): 626-647 (1986)
	1978
5		Martin W. Bunder, Jonathan P. Seldin: Some Anomalies in Fitch's System QD. J. Symb. Log. 43(2): 247-249 (1978)
4		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
3		Jonathan P. Seldin: A Sequent Calculus for Type Assignment. J. Symb. Log. 42(1): 11-28 (1977)
	1973
2		Jonathan P. Seldin: Equality in F 21. J. Symb. Log. 38(4): 571-575 (1973)
	1972
1		J. Roger Hindley, Rasmus Lerdorf, Jonathan P. Seldin: Introduction to combinatory logic. Cambridge University Press 1972: 1-170

Coauthor Index

1	Martin W. Bunder	[5] [8] [16]
2	Mariangiola Dezani-Ciancaglini (Mariangiola Dezani)	[11]
3	J. Roger Hindley	[1] [7] [8]
4	Rasmus Lerdorf	[1]
5	Giuseppe Longo	[11]

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page