The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Twan Laan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Fairouz Kamareddine, Twan Laan, Rob Nederpelt
    Refining the Barendregt Cube Using Parameters. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:375-390 [Conf]
  2. Roel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt
    Parameters in Pure Type Systems. [Citation Graph (0, 0)][DBLP]
    LATIN, 2002, pp:371-385 [Conf]
  3. Fairouz Kamareddine, Twan Laan, Rob Nederpelt
    Types in logic and mathematics before 1940. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 2002, v:8, n:2, pp:185-245 [Journal]
  4. Fairouz Kamareddine, Twan Laan, Rob Nederpelt
    Automath and Pure Type Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:85, n:7, pp:- [Journal]
  5. Fairouz Kamareddine, Twan Laan, Rob Nederpelt
    Revisiting the notion of function. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2003, v:54, n:1-2, pp:65-107 [Journal]
  6. Fairouz Kamareddine, Twan Laan
    A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2001, v:10, n:3, pp:375-402 [Journal]
  7. Twan Laan, Michael Franssen
    Embedding First-order Logic in a Pure Type System with Parameters. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:4, pp:545-557 [Journal]
  8. Twan Laan, Rob Nederpelt
    A modern elaboration of the ramified theory of types. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:57, n:2/3, pp:243-278 [Journal]

Search in 0.041secs, Finished in 0.041secs
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