Paper: A sequent calculus with dependent types for classical arithmetic (at LICS 2018)
Winner of the Kleene Award in 2018
Authors: Étienne Miquey
Abstract
No Abstract Available
BibTeX
@InProceedings{Miquey-Asequentcalculuswit, author = {Étienne Miquey}, title = {A sequent calculus with dependent types for classical arithmetic}, booktitle = {Proceedings of the Thirty third Annual IEEE Symposium on Logic in Computer Science (LICS 2018)}, year = {2018}, month = {July}, pages = {720--729}, location = {Oxford}, publisher = {IEEE Computer Society Press} }