Tags
Language
Tags
<<
July 2025
Su Mo Tu We Th Fr Sa
29 30 1 2 3 4 5
6 7 8 9 10 11 12
13 14 15 16 17 18 19
20 21 22 23 24 25 26
27 28 29 30 31 1 2
    Attention❗ To save your time, in order to download anything on this site, you must be registered 👉 HERE. If you do not have a registration yet, it is better to do it right away. ✌

    ( • )( • ) ( ͡⚆ ͜ʖ ͡⚆ ) (‿ˠ‿)
    SpicyMags.xyz
    1. Home
    2. eBooks & eLearning
    3. Adapting Proofs-as-Programs: The Curry--Howard Protocol

    Adapting Proofs-as-Programs: The Curry--Howard Protocol

    Posted By: step778
    Date: 4 Nov 2014 14:25:30
    Adapting Proofs-as-Programs: The Curry--Howard Protocol

    Iman Poernomo, John N. Crossley, Martin Wirsing, "Adapting Proofs-as-Programs: The Curry–Howard Protocol"
    2005 | pages: 430 | ISBN: 1441920145 | PDF | 2,2 mb

    This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books central themes is a general, abstract framework for developing new systems of programs synthesis by adapting proofs-as-programs to new contexts.

    My Links
    NitroFlare
    UPWARDS