Logical Aspects of Logical Frameworks

M. Price

Research output: Book/Report › Other report

82 Downloads (Pure)

Original language	English
Place of Publication	Bath, U. K.
Publisher	Department of Computer Science, University of Bath
Publication status	Published - Dec 2008

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

Access to Document