The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jonathan P. Seldin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.017secs, Finished in 0.018secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002