Logical aspects of logical frameworks
Reference:
Price, M. A., 2008. Logical aspects of logical frameworks. Other. Department of Computer Science, University of Bath. (Computer Science Technical Reports; CSBU-2008-07)
Related documents:
![[img]](http://opus.bath.ac.uk/style/images/fileicons/application_pdf.png)
| PDF (CSBU-2008-07.pdf) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader Download (1410kB) | Preview |
Details
| Item Type | Reports/Papers (Other) |
| Creators | Price, M. A. |
| Departments | Faculty of Science > Computer Science |
| Publisher Statement | CSBU-2008-07.pdf: ©The Author December 2008 |
| Status | Published |
| ID Code | 16748 |
| Additional Information | ID number: CSBU-2008-07 |
Export
Actions (login required)
| View Item |
