 | Up a level |
Eberhard, Sebastian (2015). Applicative theories for logarithmic complexity classes. Theoretical Computer Science, 585, pp. 115-135. Elsevier 10.1016/j.tcs.2015.03.007
Eberhard, Sebastian (2014). A feasible theory of truth over combinatory algebra. Annals of pure and applied logic, 165(5), pp. 1009-1033. Elsevier 10.1016/j.apal.2013.12.002
Eberhard, Sebastian; Strahm, Thomas Adrian (2015). Unfolding Feasible Arithmetic and Weak Truth. In: Achourioti, Theodora; Galinon, Henri; Martínez Fernández, José; Fujimoto, Kentaro (eds.) Unifying the Philosophy of Truth. Logic, Epistemology, and the Unity of Science: Vol. 36 (pp. 153-167). Dordrecht: Springer Netherlands 10.1007/978-94-017-9673-6_7
Eberhard, Sebastian; Strahm, Thomas (2012). Weak theories of truth and explicit mathematics. In: Berger, Ulrich; Diener, Hannes; Schuster, Peter (eds.) Logic, Construction, Computation (pp. 157-184). Heusenstamm bei Frankfurt: Ontos
