@inproceedings{fba4f60884084cf99abf2d3e6602eac0,
title = "Safe proof checking in type theory with Y",
author = "J.H. Geuvers and E. Poll and J. Zwanenburg",
year = "1999",
language = "English",
isbn = "3-540-66536-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "439--452",
editor = "J. Flum and M. Rodrigues-Artalejo",
booktitle = "Computer Science Logic (Proceedings 13th International Workshop, CSL'99, Madrid, Spain, September 20-25, 1999)",
address = "Germany",
}