fixed the typo in the abstract and the problem with append (the type of map_k
and map_list seems to be indeed incorrect....did not yet look at this)
This repository contain a new implementation of
Nominal Isabelle.
Subdirectories:
===============
Nominal ... main files for new Nominal Isabelle
Nominal/Ex ... examples for new implementation
Nominal-General . implementation of the abstract nominal theory
Outher Subdirectories:
======================
Attic ... old version of the quotient package (is now
part of the Isabelle distribution)
Literature ... some relevant papers about binders and
Core-Haskell
Paper ... submitted to ESOP
Pearl ... accepted at ITP
Pearl-jv ... journal version
Quotient-Paper .. submitted to SAC
Slides ... various talks Christian gave recently