Spar
Solving Higher-Order Equations
This monograph develops techniques for equational reasoning in higher-order logic. This is followed by a systematic development from general equational rea soning towards effective calculi for declarative programming in higher-order logic and A-calculus.
- Undertittel
- From Logic to Programming
- Forfatter
- Christian Prehofer
- Opplag
- Softcover reprint of the original 1st ed. 1998
- ISBN
- 9781461272786
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 21.10.2012
- Antall sider
- 188
