Gå direkt till innehållet
Solving Higher-Order Equations
Spara

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.
Undertitel
From Logic to Programming
Upplaga
Softcover reprint of the original 1st ed. 1998
ISBN
9781461272786
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2012-10-21
Sidor
188