Zobrazeno 1 - 10
of 52
pro vyhledávání: '"nominal techniques"'
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.
Autor:
Paranhos, Fabrício Sanches
Publikováno v:
Biblioteca Digital de Teses e Dissertações da UFG
Universidade Federal de Goiás (UFG)
instacron:UFG
Universidade Federal de Goiás (UFG)
instacron:UFG
Nas implementações e análises de linguagens de programação é recorrente a necessidade de manipulação, ou demonstração, de termos contendo ligantes. Entretanto, na prática, esta não é uma tarefa trivial. Dentre os principais problemas pod
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::cd56b6ffbb762500d77dc28d34a59e51
http://repositorio.bc.ufg.br/tede/handle/tede/12314
http://repositorio.bc.ufg.br/tede/handle/tede/12314
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.
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.
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.
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.
Autor:
Michael Gabbay, Murdoch J. Gabbay
Publikováno v:
Gabbay, M J & Gabbay, M J 2016, ' Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness ', ANNALS OF PURE AND APPLIED LOGIC . https://doi.org/10.1016/j.apal.2016.10.001
We give a semantics for the λ-calculus based on a topological duality theorem in nominal sets. A novel interpretation of λ is given in terms of adjoints, and λ-terms are interpreted absolutely as sets (no valuation is necessary).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1da6f387fee2465acf5e4ecbc0f1682f
https://kclpure.kcl.ac.uk/ws/files/58136298/1_s2.0_S0168007216301245_main.pdf
https://kclpure.kcl.ac.uk/ws/files/58136298/1_s2.0_S0168007216301245_main.pdf
Autor:
Murdoch J. Gabbay
Publikováno v:
J. Symbolic Logic 77, iss. 3 (2012), 828-852
By operations on models we show how to relate completeness with respect to permissive-nominal models to completeness with respect to nominal models with finite support. Models with finite support are a special case of permissive-nominal models, so th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::08725245696861797c901f2072e0ac83
https://doi.org/10.2178/jsl/1344862164
https://doi.org/10.2178/jsl/1344862164
Autor:
Stéphane Lengrand, Murdoch J. Gabbay
Publikováno v:
Information and Computation. 207:1369-1400
We present the Lambda Context Calculus. This simple lambda-calculus features variables arranged in a hierarchy of strengths such that substitution of a strong variable does not avoid capture with respect to abstraction by a weaker variable. This allo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c6407d82c60f299743a5c4298fa042b
https://doi.org/10.1016/j.ic.2009.06.004
https://doi.org/10.1016/j.ic.2009.06.004
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