Section: New Results

Binders

Participant : Gilles Dowek.

Together with Jamie Gabbay, Gilles Dowek has given a translation of permissive nominal logic to Higher-order logic and proved its soundness and completeness. This work is described in a paper published in the Transactions on Computational Logic [15] .