Question: Two-dimensionalism is a semantic approach advocated by a Professor oof Philosophy and Director of the Centre for Consciousness at what institution?
Sentence (from "Normalisation by evaluation"): Such an essentially semantic approach differs from the more traditional syntactic description of normalisation as a reductions in a term rewrite system where β-reductions are allowed deep inside λ-terms.
Relevant evidence: No