A Logic for Reasoning with Higher-Order Abstract Syntax

by Raymond Mcdowell , Dale Miller
Citations:7 - 2 self