3 search results - page 1 / 1 » Hybrid: A Definitional Two-Level Approach to Reasoning with ... |
55
Voted
CORR
2008
Springer
14 years 10 months ago
2008
Springer
ENTCS
2008
14 years 10 months ago
2008
ICFP
2005
ACM
15 years 9 months ago
2005
ACM
We present a foundation for a computational meta-theory of languages with bindings implemented in a computer-aided formal reasoning environment. Our theory provides the ability to...