Page 184 - Textos de Matemática Vol. 40

172 Bibliography
[Str02] Thomas Strahm. Wellordering proofs for metapredicative Mahlo.
Journal of Symbolic Logic, 67(1):260–278, 2002.
[Str03] Thomas Strahm. Theories with self-application and computational
complexity. Information and Computation, 185(2):263–297, 2003.
[Str04] Thomas Strahm. A proof-theoretic characterization of the basic fea- sible functionals. Theoretical Computer Science, 329(1–3):159–176, 2004.
[Stu97] Thomas Studer. Explicit mathematics: W-Type, models. Diplom- arbeit, Universit¨at Bern, Institut fu¨r Informatik und angewandte Mathematik, 1997.
[Stu01a] Thomas Studer. Constructive foundations for featherweight Java. In R. Kahle, P. Schroeder-Heister, and R. F. St¨ark, editors, Proof The- ory in Computer Science, volume 2183 of Lecture Notes in Computer Science, pages 202–238. Springer, 2001.
[Stu01b] Thomas Studer. Object-Oriented Programming in Explicit Mathe- matics: Towards the Mathematics of Objects. PhD thesis, Institut fu¨r Informatik und angewandte Mathematik, Universit¨at Bern, 2001.
[Stu01c] Thomas Studer. A semantics for λ{} : a calculus with overloading str
and late-binding. Journal of Logic and Computation, 11(4):527–544, 2001.
[Stu05] Thomas Studer. Explicit mathematics: power types and overloading. Annals of Pure and Applied Logic, 134(2–3):284–302, 2005.
[Tai68] William Tait. Normal derivability in classical logic. In J. Barwise, editor, The Syntax and Semantic of Infinitary Languages, volume 72 of Lecture Notes in Mathematics, pages 204–236. Springer, 1968.
[Tak87] Gaisi Takeuti. Proof Theory. North-Holland, 1987.
[Tak89] Shuzo Takahashi. Monotone inductive definitions in a constructive theory of functions and classes. Annals of Pure and Applied Logic, 42:255–297, 1989.
[Tal92] Carolyn Talcott. A theory for program and data type specification. Theoretical Computer Science, 104(1):129–159, 1992.
[Tar36] Alfred Tarski. Der Wahrheitsbegriff in den formalisierten Sprachen. Studia Philosophica, 1:261–405, 1936. Reprinted in: Alfred Tarski. Collected Papers. Volume 2. pp. 51–198. Birkh¨auser, Basel. 1986. Original version of [Tar56].