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