Proof pearl: de Bruijn terms really do work
Loading...
Date
Authors
Norrish, Michael
Vestergaard, Rene
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Description
Keywords
Citation
Collections
Source
Type
Book Title
Theorem Proving in Higher Order Logics
Entity type
Access Statement
License Rights
DOI
Restricted until
2037-12-31
Downloads
File
Description