Research

Logical Aspects of Logical Frameworks


Reference:

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

Related documents:

[img]
Preview
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)
    CreatorsPrice, M. A.
    DepartmentsFaculty of Science > Computer Science
    Publisher StatementCSBU-2008-07.pdf: ©The Author December 2008
    StatusPublished
    ID Code16748

    Export

    Actions (login required)

    View Item

    Document Downloads

    More statistics for this item...