Categorical models of first-order classical proofs

  • Richard McKinley

Student thesis: Doctoral ThesisPhD

Abstract

Date of Award2006
LanguageEnglish
Awarding Institution
  • University of Bath

Cite this

Categorical models of first-order classical proofs
McKinley, R. (Author). 2006

Student thesis: Doctoral ThesisPhD