Zobrazeno 1 - 10
of 461
pro vyhledávání: '"Nominal techniques"'
Publikováno v:
Logic Journal of the IGPL, Volume 18, Issue 6, December 2010, Pages 769-822
Nominal terms extend first-order terms with binding. They lack some properties of first- and higher-order terms: Terms must be reasoned about in a context of 'freshness assumptions'; it is not always possible to 'choose a fresh variable symbol' for a
Externí odkaz:
http://arxiv.org/abs/2312.15651
Autor:
Gabbay, Murdoch J.
We give an accessible presentation to the foundations of nominal techniques, lying between Zermelo-Fraenkel set theory and Fraenkel-Mostowski set theory, and which has several nice properties including being consistent with the Axiom of Choice. We gi
Externí odkaz:
http://arxiv.org/abs/1801.09443
Autor:
GABBAY, MURDOCH J.
Publikováno v:
The Bulletin of Symbolic Logic, 2011 Jun 01. 17(2), 161-229.
Externí odkaz:
https://www.jstor.org/stable/41203149
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Logic Journal of the IGPL. Dec2010, Vol. 18 Issue 6, p769-822. 54p.
Autor:
Murdoch J. Gabbay
Publikováno v:
Theoretical Computer Science. 410:1159-1189
Fraenkel–Mostowski (FM) set theory delivers a model of names and alpha-equivalence. This model, now generally called the ‘nominal’ model, delivers inductive datatypes of syntax with alpha-equivalence — rather than inductive datatypes of synta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d0740184d53eeee99614cb85e4dee518
https://doi.org/10.1016/j.tcs.2008.11.013
https://doi.org/10.1016/j.tcs.2008.11.013
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.