bibtex

@book{roo1,
    title = {Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification },
    month = {September},
    year = {2021},
    publisher = {World Scientific},
    team = {PACSS},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4138037