bibtex

@inproceedings{Mon2,
    title = {Small inversions for smaller inversions },
    author = {Monin, Jean-Fran\c{c}ois},
    month = {June},
    year = {2022},
    booktitle = {TYPES 2022 Abstracts},
    address = {Nantes},
    team = {PACSS},
    pdf = {https://www-verimag.imag.fr/~monin/Publis/Docs/types22-smallinv.pdf},
    abstract = {We describe recent improvements on small inversions, a technique presented earlier as a possible alternative to Coq standard inversion},
}


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

info visites 4183159