Logical aspects of logical frameworks

  • Mark Price

Student thesis: Doctoral ThesisPhD

Abstract

Date of Award1 Nov 2008
LanguageEnglish
Awarding Institution
  • University of Bath
SupervisorDavid Pym (Supervisor) & Guy McCusker (Supervisor)

Keywords

  • semantics
  • proof-search
  • logical framework
  • LF

Cite this

Logical aspects of logical frameworks
Price, M. (Author). 1 Nov 2008

Student thesis: Doctoral ThesisPhD