PNL to HOL: From the logic of nominal sets to the logic of higher-order functions

Gilles Dowek, Murdoch J. Gabbay

Research output: Contribution to journalArticle

6 Citations (Scopus)
Original languageEnglish
Pages (from-to)38-69
JournalTheoretical Computer Science
Volume451
Issue numbern/a
DOIs
Publication statusPublished - 1 Sep 2012

Cite this