Logical aspects of logical frameworks

  • Mark Price

Student thesis: Doctoral Thesis › PhD

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

Keywords

  • semantics
  • proof-search
  • logical framework
  • LF

Cite this

Documents

  • Thesis

    File: application/pdf, -1 bytes

    Type: Thesis

'