Grigori Mints. Cut-Elimination for Simple Type Theory with An Axiom of Choice. Journal of Symbolic Logic, 64(2):479-485, 1999.
@article{Mints99,
title = {Cut-Elimination for Simple Type Theory with An Axiom of Choice},
author = {Grigori Mints},
year = {1999},
tags = {type theory},
researchr = {https://researchr.org/publication/Mints99},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {64},
number = {2},
pages = {479-485},
}