Zobrazeno 1 - 10
of 1 482
pro vyhledávání: '"explicit substitution"'
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:
VENTURA, DANIEL LIMA1 daniel@inf.ufg.br, KAMAREDDINE, FAIROUZ2 fairouz@macs.hw.ac.uk, AYALA-RINCÓN, MAURICIO3 ayala@unb.br
Publikováno v:
Logic Journal of the IGPL. Apr2015, Vol. 23 Issue 2, p295-340. 46p.
In this paper we invite the reader to a journey through three lambda calculi with resource control: the lambda calculus, the sequent lambda calculus, and the lambda calculus with explicit substitution. All three calculi enable explicit control of res
Externí odkaz:
http://arxiv.org/abs/1306.2283
Publikováno v:
EPTCS 49, 2011, pp. 1-15
This article is devoted to the presentation of lambda_rex, an explicit substitution calculus with de Bruijn indexes and a simple notation. By being isomorphic to lambda_ex - a recent formalism with variable names -, lambda_rex accomplishes simulation
Externí odkaz:
http://arxiv.org/abs/1102.3730
Autor:
Gacek, Andrew, Nadathur, Gopalan
This paper concerns the explicit treatment of substitutions in the lambda calculus. One of its contributions is the simplification and rationalization of the suspension calculus that embodies such a treatment. The earlier version of this calculus pro
Externí odkaz:
http://arxiv.org/abs/cs/0702152
Autor:
Jiří Raclavský
Publikováno v:
Logic and Logical Philosophy. :1-37
The present paper offers the rule of existential generalization (EG) that is uniformly applicable within extensional, intensional and hyperintensional contexts. In contradistinction to Quine and his followers, quantification into various modal contex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7b2574f86173f33346daa39f0c701536
https://doi.org/10.12775/llp.2021.011
https://doi.org/10.12775/llp.2021.011
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 49, Iss Proc. HOR 2010, Pp 1-15 (2011)
This article is devoted to the presentation of lambda_rex, an explicit substitution calculus with de Bruijn indexes and a simple notation. By being isomorphic to lambda_ex -- a recent formalism with variable names --, lambda_rex accomplishes simulati
Externí odkaz:
https://doaj.org/article/930798b23c5643438a7c1b19e4da17c9
Autor:
Râştei, Amelia
Publikováno v:
In Electronic Notes in Theoretical Computer Science 1 March 2005 123:213-228
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.