Higher-order Tarski Grothendieck as a Foundation for Formal Proof


BibTeX

@inproceedings{cbckkp-itp19,
author = {Chad Brown and Cezary Kaliszyk and Karol Pąk},
title = {Higher-order {T}arski {G}rothendieck as a Foundation for Formal Proof},
booktitle = {10th International Conference on Interactive Theorem Proving (ITP 2019)},
year = {2019},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
pages = {9:1--9:16},
url = {https://doi.org/10.4230/LIPIcs.ITP.2019.9},
doi = {10.4230/LIPIcs.ITP.2019.9},
editor = {John Harrison and John O'Leary and Andrew Tolmach},
volume = {141},
}


Nach oben scrollen