| * | 1999 |
|---|
| 8 | | A. S. Troelstra:
Marginalia on Sequent Calculi.
Studia Logica 62(2): 291-303 (1999) |
| 7 | EE | A. S. Troelstra:
From Constructivism to Computer Science.
Theor. Comput. Sci. 211(1-2): 233-252 (1999) |
| 1995 |
|---|
| 6 | | A. S. Troelstra:
Natural Deduction for Intuitionistic Linear Logic.
Ann. Pure Appl. Logic 73(1): 79-108 (1995) |
| 1992 |
|---|
| 5 | | A. S. Troelstra:
Tutorial on Linear Logic.
JICSLP 1992: 30-31 |
| 1991 |
|---|
| 4 | EE | A. S. Troelstra:
Comparing the Theory of Representations and Constructive Mathematics.
CSL 1991: 383-395 |
| 1987 |
|---|
| 3 | | A. S. Troelstra:
On the Syntax of Martin-Löf's Type Theories.
Theor. Comput. Sci. 51: 1-26 (1987) |
| 1977 |
|---|
| 2 | | A. S. Troelstra:
Some Models for Intuitionistic Finite Type Arithmetic with Fan Functional.
J. Symb. Log. 42(2): 194-202 (1977) |
| 1974 |
|---|
| 1 | | A. S. Troelstra:
Note on the Fan Theorem.
J. Symb. Log. 39(3): 584-596 (1974) |
