Permissive-nominal logic: First-order logic over nominal terms and sets

Gilles Dowek, Murdoch James Gabbay. Permissive-nominal logic: First-order logic over nominal terms and sets. ACM Trans. Comput. Log., 13(3):20, 2012. [doi]

Abstract

Abstract is missing.