Publications

Export 5 results:

Filters: Author is Eberhard, Sebastian [Clear All Filters]

Submitted

S. Eberhard, “Applicative theories for logarithmic complexity classes”. Submitted.

S. Eberhard, “A feasible theory of truth over combinatory logic”. Submitted.

In Press

S. Eberhard and T. Strahm, “Unfolding feasible arithmetic and weak truth”, in Axiomatic Theories of Truth, In Press.

2012

S. Eberhard and T. Strahm, “Weak theories of truth and explicit mathematics”, in Logic, Construction, Computation, 2012, pp. 157–184.

2009

S. Eberhard, “Aspekte beweisbar totaler Funktionen in applikativen Theorien”. Universität Bern, 2009.