Mechanizing Metatheory in a Logical Framework, Journal of Functional Programming, July, 2007. Martin Hofmann, Syntax and Semantics of Dependent Types, Unpublished manuscript, ca 1995. Stuart Allen, A ...

Abstract: The purpose of this paper is to propose an algebraic model of logical circuits which has been designed to build up efficient analysis and simulation procedures. Published in: IEEE ...