Note on the Fan Theorem. - A. S. Troelstra (J. Symb. Log., 1974)

Some Models for Intuitionistic Finite Type Arithmetic with Fan Functional. - A. S. Troelstra (J. Symb. Log., 1977)

Analysing choice sequences. - A. S. Troelstra (J. Philos. Log., 1983)

Strong normalization for typed terms with surjective pairing. - A. S. Troelstra (Notre Dame J. Formal Log., 1986)

On the Syntax of Martin-Löf's Type Theories. - A. S. Troelstra (Theor. Comput. Sci., 1987)

Comparing the Theory of Representations and Constructive Mathematics. - A. S. Troelstra (CSL, 1991)

Tutorial on Linear Logic. - A. S. Troelstra (JICSLP, 1992)

Natural Deduction for Intuitionistic Linear Logic. - A. S. Troelstra (Ann. Pure Appl. Log., 1995)

Basic proof theory. - Anne Sjerp Troelstra; Helmut Schwichtenberg (Cambridge University Press, 1996)

Marginalia on Sequent Calculi. - A. S. Troelstra (Stud Logica, 1999)

From Constructivism to Computer Science. - A. S. Troelstra (Theor. Comput. Sci., 1999)

Basic proof theory, Second Edition. - Anne Sjerp Troelstra; Helmut Schwichtenberg (Cambridge University Press, 2000)