Gilles Dowek, Murdoch James Gabbay
Permissive-nominal logic
PPDP, 2010.
@inproceedings{PPDP-2010-DowekG, author = "Gilles Dowek and Murdoch James Gabbay", booktitle = "{Proceedings of the 12th International Conference on Principles and Practice of Declarative Programming}", doi = "10.1145/1836089.1836110", isbn = "978-1-4503-0132-9", pages = "165--176", publisher = "{ACM}", title = "{Permissive-nominal logic}", year = 2010, }