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

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

Cite this

@article{87346676786245b297175c09a43824f0,
title = "PNL to HOL: From the logic of nominal sets to the logic of higher-order functions",
author = "Gilles Dowek and Gabbay, {Murdoch J.}",
year = "2012",
month = "9",
day = "1",
doi = "10.1016/j.tcs.2012.06.007",
language = "English",
volume = "451",
pages = "38--69",
journal = "Theoretical Computer Science",
issn = "0304-3975",
publisher = "Elsevier",
number = "n/a",

}

PNL to HOL: From the logic of nominal sets to the logic of higher-order functions. / Dowek, Gilles; Gabbay, Murdoch J.

In: Theoretical Computer Science, Vol. 451, No. n/a, 01.09.2012, p. 38-69.

Research output: Contribution to journalArticle

TY - JOUR

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

AU - Dowek, Gilles

AU - Gabbay, Murdoch J.

PY - 2012/9/1

Y1 - 2012/9/1

U2 - 10.1016/j.tcs.2012.06.007

DO - 10.1016/j.tcs.2012.06.007

M3 - Article

VL - 451

SP - 38

EP - 69

JO - Theoretical Computer Science

JF - Theoretical Computer Science

SN - 0304-3975

IS - n/a

ER -