Logical Aspects of Logical Frameworks

M. Price

Research output: Book/ReportOther report

35 Downloads (Pure)
Original languageEnglish
Place of PublicationBath, U. K.
PublisherDepartment of Computer Science, University of Bath
Publication statusPublished - Dec 2008

Publication series

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

Cite this