Zobrazeno 1 - 10
of 263
pro vyhledávání: '"STRONG NORMALIZATION"'
Publikováno v:
Bulletin of the Section of Logic, Vol 52, Iss 2, Pp 145-186 (2023)
Neil Tennant’s core logic is a type of bilateralist natural deduction system based on proofs and refutations. We present a proof system for propositional core logic, explain its connections to bilateralism, and explore the possibility of using it a
Externí odkaz:
https://doaj.org/article/7fa1f5bf6125425aaf101b6405c4a874
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:
Péter Battyányi, Karim Nour
Publikováno v:
AIMS Mathematics, Vol 5, Iss 4, Pp 3702-3713 (2020)
A long-standing open problem of Parigot has been solved by David and Nour, namely, they gave a syntactical and arithmetical proof of the strong normalization of the untyped μμ'-reduction. In connection with this, we present in this paper a proof of
Externí odkaz:
https://doaj.org/article/8cb916eaf29a4f94814cb5306dc3f4d7
Publikováno v:
Дифференциальная геометрия многообразий фигур, Iss 50, Pp 41-47 (2019)
This research is realized by Cartan — Laptev method (with prolongations and scopes, moving frame and exterior forms). In this paper we consider a space П of centered m-planes (a space of all centered planes of the dimension m). This space is c
Externí odkaz:
https://doaj.org/article/bdcef7e942c44d7c88c3a12c44ee8511
Autor:
O. Belova
Publikováno v:
Дифференциальная геометрия многообразий фигур, Iss 49, Pp 29-35 (2018)
Space П of centred m-planes is considered in the projective space . Principal fiber bundle is arised above it. Two-index structural forms of the principal fiber are included also into structure of basic forms. An analogue of Neifeld’s connection
Externí odkaz:
https://doaj.org/article/f502d2a16eda47e89996b7186206c031
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.
The Functional Machine Calculus (FMC), recently introduced by the second author, is a generalization of the lambda-calculus which may faithfully encode the effects of higher-order mutable store, I/O and probabilistic/non-deterministic input. Signific
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7243f9490d83fcdaa5b6410989b0e88b
Autor:
Barenbaum, Pablo, Sottile, Cristian
This paper defines two decreasing measures for terms of the simply typed λ-calculus, called the 𝒲-measure and the 𝒯^{𝐦}-measure. A decreasing measure is a function that maps each typable λ-term to an element of a well-founded ordering, in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aa10dc7b7d049018618db8ce44e84f1c
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.