Robert Pollack. On Extensibility of Proof Checkers. In Peter Dybjer, Bengt Nordström, Jan M. Smith, editors, Types for Proofs and Programs, International Workshop TYPES 94, Båstad, Sweden, June 6-10, 1994, Selected Papers. Volume 996 of Lecture Notes in Computer Science, pages 140-161, Springer, 1994.
@inproceedings{Pollack94,
title = {On Extensibility of Proof Checkers},
author = {Robert Pollack},
year = {1994},
researchr = {https://researchr.org/publication/Pollack94},
cites = {0},
citedby = {0},
pages = {140-161},
booktitle = {Types for Proofs and Programs, International Workshop TYPES 94, Båstad, Sweden, June 6-10, 1994, Selected Papers},
editor = {Peter Dybjer and Bengt Nordström and Jan M. Smith},
volume = {996},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-60579-7},
}