Anne Sjerp Troelstra

According to our database, Anne Sjerp Troelstra authored at least 12 papers between 1974 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2000

Basic proof theory, Second Edition.

Anne Sjerp Troelstra, Helmut Schwichtenberg

Cambridge tracts in theoretical computer science 43, Cambridge University Press, ISBN: 978-0-521-77911-1, 2000

1999

From Constructivism to Computer Science.

A. S. Troelstra

Theor. Comput. Sci., 1999

Marginalia on Sequent Calculi.

A. S. Troelstra

Stud Logica, 1999

1996

Basic proof theory.

Anne Sjerp Troelstra, Helmut Schwichtenberg

Cambridge tracts in theoretical computer science 43, Cambridge University Press, ISBN: 978-0-521-57223-1, 1996

1995

Natural Deduction for Intuitionistic Linear Logic.

A. S. Troelstra

Ann. Pure Appl. Log., 1995

1992

Tutorial on Linear Logic.

A. S. Troelstra

Proceedings of the Logic Programming, 1992

1991

Comparing the Theory of Representations and Constructive Mathematics.

A. S. Troelstra

Proceedings of the Computer Science Logic, 5th Workshop, 1991

1987

On the Syntax of Martin-Löf's Type Theories.

A. S. Troelstra

Theor. Comput. Sci., 1987

1986

Strong normalization for typed terms with surjective pairing.

A. S. Troelstra

Notre Dame J. Formal Log., 1986

1983

Analysing choice sequences.

A. S. Troelstra

J. Philos. Log., 1983

1977

Some Models for Intuitionistic Finite Type Arithmetic with Fan Functional.

A. S. Troelstra

J. Symb. Log., 1977

1974

Note on the Fan Theorem.

A. S. Troelstra

J. Symb. Log., 1974