Proof pearl: using combinators to manipulate let-expressions in proof
Date
2005
Authors
Norrish, Michael
Slind, Konrad
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Description
Keywords
Citation
Collections
Source
Type
Book chapter
Book Title
Theorem Proving in Higher Order Logics: 18th international conference TPHOLs 2005, Oxford 2005, proceedings