Constructive Type Theory and Functional Programming

    Thompson

    Addison Wesley
    1991
    388 páginas
    12h 56m
    ISBN-13: 9780201416671

    Estatísticas

    Avaliações

    0 / 0
    • 5 estrelas0%
    • 4 estrelas0%
    • 3 estrelas0%
    • 2 estrelas0%
    • 1 estrelas0%