A. S. Troelstra

Publication Activity (10 Years)

Years Active: 1974-1999
Publications (10 Years): 0

Publications

A. S. Troelstra
Marginalia on Sequent Calculi. Stud Logica 62 (2) (1999)
A. S. Troelstra
From Constructivism to Computer Science. Theor. Comput. Sci. 211 (1-2) (1999)
A. S. Troelstra
Natural Deduction for Intuitionistic Linear Logic. Ann. Pure Appl. Log. 73 (1) (1995)
A. S. Troelstra
Tutorial on Linear Logic. JICSLP (1992)
A. S. Troelstra
Comparing the Theory of Representations and Constructive Mathematics. CSL (1991)
A. S. Troelstra
On the Syntax of Martin-Löf's Type Theories. Theor. Comput. Sci. 51 (1987)
A. S. Troelstra
Strong normalization for typed terms with surjective pairing. Notre Dame J. Formal Log. 27 (4) (1986)
A. S. Troelstra
Analysing choice sequences. J. Philos. Log. 12 (2) (1983)
A. S. Troelstra
Some Models for Intuitionistic Finite Type Arithmetic with Fan Functional. J. Symb. Log. 42 (2) (1977)
A. S. Troelstra
Note on the Fan Theorem. J. Symb. Log. 39 (3) (1974)