1

Partial applicative theories and explicit substitutions

E-Article
3
4

Review: Proof Theory: Sequent Calculi and Related Formalisms

E-Article
5

Wrong butterfly

by: Strahm, Wendy
In: New Scientist (2013)
E-Article
6

Schwiezerisches Berufsbildungssystem im Zeichen der Globalisierung

by: Strahm, Rudolf
In: ORGANISATOR (2012)
E-Article
8
9

Introduction : Introduction: Introduction

by: Strahm, Thomas
In: Dialectica (2008)
E-Article
10
11

Hochpreisproblematik bei Wareneinkäufen

E-Article
12

Hochpreisproblematik bei Wareneinkäufen

E-Article
13
14

A proof-theoretic characterization of the basic feasible functionals

E-Article
15
16

Theories with self-application and computational complexity

E-Article
17
18

Review: Realization of Analysis into Explicit Mathematics

E-Article
20

Wellordering proofs for metapredicative Mahlo

E-Article