Abstract
Basic definitions and results for higher-order equational reasoning are introduced in this chapter. The first sections contain general background material on reductions and orderings, followed by a brief introduction to λ-calculus. For a comprehensive treatment we refer to [HS86, Bar84].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer Science+Business Media New York
About this chapter
Cite this chapter
Prehofer, C. (1998). Preliminaries. In: Solving Higher-Order Equations. Progress in Theoretical Computer Science. Birkhäuser, Boston, MA. https://doi.org/10.1007/978-1-4612-1778-7_3
Download citation
DOI: https://doi.org/10.1007/978-1-4612-1778-7_3
Publisher Name: Birkhäuser, Boston, MA
Print ISBN: 978-1-4612-7278-6
Online ISBN: 978-1-4612-1778-7
eBook Packages: Springer Book Archive