Types for Proofs and Programs by Thorsten Altenkirch (PDF)

    4

     

    Ebook Info

    • Published: 2008
    • Number of pages: 284 pages
    • Format: PDF
    • File Size: 2.55 MB
    • Authors: Thorsten Altenkirch

    Description

    User’s Reviews

    Reviews from Amazon users which were colected at the time this book was published on the website:

    Keywords

    Free Download Types for Proofs and Programs in PDF format
    Types for Proofs and Programs PDF Free Download
    Download Types for Proofs and Programs 2008 PDF Free
    Types for Proofs and Programs 2008 PDF Free Download
    Download Types for Proofs and Programs PDF
    Free Download Ebook Types for Proofs and Programs

    Previous articleProgramming in Martin-Löf’s Type Theory: An Introduction by Bengt Nordström (PDF)
    Next articleImplementation of Functional Languages by Phil Trinder (PDF)