8 search results - page 1 / 2 » Two-Level Hybrid: A System for Reasoning Using Higher-Order ... |
ENTCS
2008
13 years 11 months ago
2008
CORR
2008
Springer
13 years 11 months ago
2008
Springer
ESOP
2008
Springer
14 years 20 days ago
2008
Springer
Abstract. Higher-order abstract syntax (HOAS) refers to the technique of representing variables of an object-language using variables of a meta-language. The standard first-order a...
ENTCS
2002
13 years 10 months ago
2002
We give a short description of Hybrid, a new tool for interactive theorem proving, s introduced in [4]. It provides a form of Higher Order Abstract Syntax (HOAS) combined consiste...
CC
2003
Springer
14 years 4 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...