Logical aspects of logical frameworks

Mark Price

Research output: ThesisDoctoral Thesis

LanguageEnglish
QualificationPh.D.
Awarding Institution
  • University of Bath
Supervisors/Advisors
  • Pym, David, Supervisor
  • McCusker, Guy, Supervisor
Award date1 Nov 2008
StatusPublished - 2008

Keywords

  • semantics
  • proof-search
  • logical framework
  • LF

Cite this

Logical aspects of logical frameworks. / Price, Mark.

2008.

Research output: ThesisDoctoral Thesis

Price, M 2008, 'Logical aspects of logical frameworks', Ph.D., University of Bath.
@phdthesis{9f31fb952c9b4e678b76d01a6b13cfb1,
title = "Logical aspects of logical frameworks",
keywords = "semantics, proof-search, logical framework, LF",
author = "Mark Price",
year = "2008",
language = "English",
school = "University of Bath",

}

TY - THES

T1 - Logical aspects of logical frameworks

AU - Price,Mark

PY - 2008

Y1 - 2008

KW - semantics

KW - proof-search

KW - logical framework

KW - LF

M3 - Doctoral Thesis

ER -