Search the dblp DataBase
A. S. Troelstra :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
A. S. Troelstra Comparing the Theory of Representations and Constructive Mathematics. [Citation Graph (0, 0)][DBLP ] CSL, 1991, pp:383-395 [Conf ] A. S. Troelstra Tutorial on Linear Logic. [Citation Graph (0, 0)][DBLP ] JICSLP, 1992, pp:30-31 [Conf ] A. S. Troelstra Natural Deduction for Intuitionistic Linear Logic. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1995, v:73, n:1, pp:79-108 [Journal ] A. S. Troelstra Note on the Fan Theorem. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1974, v:39, n:3, pp:584-596 [Journal ] A. S. Troelstra Some Models for Intuitionistic Finite Type Arithmetic with Fan Functional. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1977, v:42, n:2, pp:194-202 [Journal ] A. S. Troelstra Marginalia on Sequent Calculi. [Citation Graph (0, 0)][DBLP ] Studia Logica, 1999, v:62, n:2, pp:291-303 [Journal ] A. S. Troelstra On the Syntax of Martin-Löf's Type Theories. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:51, n:, pp:1-26 [Journal ] A. S. Troelstra From Constructivism to Computer Science. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1999, v:211, n:1-2, pp:233-252 [Journal ] Search in 0.002secs, Finished in 0.002secs