17 search results - page 1 / 4 » tphol 2008 |
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
We present a novel compiled approach to Normalization by Evaluation (NBE) for ML-like languages. It supports efficient normalization of open λ-terms w.r.t. β-reduction and rewrit...
TPHOL
2008
IEEE
13 years 11 months ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...