Search the dblp DataBase
Twan Laan: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Refining the Barendregt Cube Using Parameters. [Citation Graph (0, 0)][DBLP]
FLOPS, 2001, pp:375-390 [Conf] - Roel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt
Parameters in Pure Type Systems. [Citation Graph (0, 0)][DBLP]
LATIN, 2002, pp:371-385 [Conf] - 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] - 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] - 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] - 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] - 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] - 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.001secs, Finished in 0.002secs
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002