Safe proof checking in type theory with Y

J.H. Geuvers, E. Poll, J. Zwanenburg

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
Original languageEnglish
Title of host publicationComputer Science Logic (Proceedings 13th International Workshop, CSL'99, Madrid, Spain, September 20-25, 1999)
EditorsJ. Flum, M. Rodrigues-Artalejo
Place of PublicationBerlin
PublisherSpringer
Pages439-452
ISBN (Print)3-540-66536-6
Publication statusPublished - 1999

Publication series

NameLecture Notes in Computer Science
Volume1683
ISSN (Print)0302-9743

Cite this

Geuvers, J. H., Poll, E., & Zwanenburg, J. (1999). Safe proof checking in type theory with Y. In J. Flum, & M. Rodrigues-Artalejo (Eds.), Computer Science Logic (Proceedings 13th International Workshop, CSL'99, Madrid, Spain, September 20-25, 1999) (pp. 439-452). (Lecture Notes in Computer Science; Vol. 1683). Berlin: Springer.