Logical Aspects of Logical Frameworks

M. Price

Research output: Book/ReportOther report

LanguageEnglish
Place of PublicationBath, U. K.
PublisherDepartment of Computer Science, University of Bath
StatusPublished - Dec 2008

Publication series

NameDepartment of Computer Science Technical Report Series
No.CSBU-2008-07
ISSN (Print)1740-9497

Cite this

Price, M. (2008). Logical Aspects of Logical Frameworks. (Department of Computer Science Technical Report Series; No. CSBU-2008-07). Bath, U. K.: Department of Computer Science, University of Bath.

Logical Aspects of Logical Frameworks. / Price, M.

Bath, U. K. : Department of Computer Science, University of Bath, 2008. (Department of Computer Science Technical Report Series; No. CSBU-2008-07).

Research output: Book/ReportOther report

Price, M 2008, Logical Aspects of Logical Frameworks. Department of Computer Science Technical Report Series, no. CSBU-2008-07, Department of Computer Science, University of Bath, Bath, U. K.
Price M. Logical Aspects of Logical Frameworks. Bath, U. K.: Department of Computer Science, University of Bath, 2008. (Department of Computer Science Technical Report Series; CSBU-2008-07).
Price, M./ Logical Aspects of Logical Frameworks. Bath, U. K. : Department of Computer Science, University of Bath, 2008. (Department of Computer Science Technical Report Series; CSBU-2008-07).
@book{fc4782ac8c2c4d819807eb3e160793b7,
title = "Logical Aspects of Logical Frameworks",
author = "M. Price",
year = "2008",
month = "12",
language = "English",
series = "Department of Computer Science Technical Report Series",
publisher = "Department of Computer Science, University of Bath",
number = "CSBU-2008-07",

}

TY - BOOK

T1 - Logical Aspects of Logical Frameworks

AU - Price,M.

PY - 2008/12

Y1 - 2008/12

M3 - Other report

T3 - Department of Computer Science Technical Report Series

BT - Logical Aspects of Logical Frameworks

PB - Department of Computer Science, University of Bath

CY - Bath, U. K.

ER -