Publications

Export 4 results:

Filters: Year is 9999 [Clear All Filters]

Submitted

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

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

K. Sato, “Full and Hat Inductive Definitions Are Equivalent in NBG”. Submitted.

K. Sato, “Relative Predicativity and Dependent Recursion in Second-order Set Theory and Higher-order Theories”. Submitted.