Now showing items 1-1 of 1

  • Nominal Logic Programming 

    James Cheney; Christian Urban (Association for Computing Machinery, 2008-08)
    Nominal logic is an extension of first-order logic which provides a simple foundation for formalizing and reasoning about abstract syntax modulo consistent renaming of bound names (that is, α-equivalence). This article ...