Authors: Marino Miculan, Ivan Scagnetto
Title: FOL-nabla in Higher Order Abstract Syntax
Abstract: 
Miller-Tiu's FOL-nabla is a logic recently proposed for
reasoning about generic judgments.  In this work, we present a
formalization of this logic in Coq, using Higher-Order abstract
syntax and the Theory of Contexts.