Now showing items 1-1 of 1

  • Normalisation & equivalence in proof theory & type theory 

    Lengrand, Stéphane J. E. (University of St Andrews, 2006-12-08) - Thesis
    At the heart of the connections between Proof Theory and Type Theory, the Curry-Howard correspondence provides proof-terms with computational features and equational theories, i.e. notions of normalisation and equivalence. ...