bibtex

@inbook{LM1,
    title = {The Braga Method: Extracting Certified Algorithms from Complex Recursive Schemes in Coq },
    author = {Larchey-Wendling, Dominique and Monin, Jean-Fran\c{c}ois},
    month = {September},
    year = {2021},
    booktitle = {Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification},
    chapter = {8},
    crossref = {proof-comput-II},
    pages = {305--386},
    publisher = {World Scientific},
    team = {PACSS},
    pdf = {https://www-verimag.imag.fr/~monin/Publis/Docs/Braga-chapbook21.pdf},
}


Contact | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3871747