Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study
by
Alan J. Martin
| Citations: | 1 - 1 self |
BibTeX
@MISC{Martin_reasoningusing,
author = {Alan J. Martin},
title = {Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
is a joint program with Carleton University, administered by the Ottawa-
