Výsledky vyhledávání - "Lattices and order"

Recurrence Relations of the Hypergeometric-type functions on the quadratic-type lattices

Autor: Rezan Sevinik Adıgüzel

Publikováno v: Advances in the Theory of Nonlinear Analysis and its Applications, Vol 3, Iss 4, Pp 201-219 (2019)
Volume: 3, Issue: 4 201-219
Advances in the Theory of Nonlinear Analysis and its Application

The central idea of this article is to present a systematic approach to construct some recurrence relations for the solutions of the second-order linear difference equation of hypergeometric-type defined on the quadratic-type lattices. We introduce s

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::04dc76bff2302ee4cb3b2e69ff564daf
https://dergipark.org.tr/en/download/article-file/834377

Zobrazit plný text záznamu

Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness

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

Zobrazit plný text záznamu

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.

Orthomodular Lattices in Occurrence Nets

Autor: Lucia Pomello, Stefania Rombolà, Luca Bernardinello

Publikováno v: Applications and Theory of Petri Nets ISBN: 9783642024238
Petri Nets

In this paper, we study partially ordered structures associated to occurrence nets. An occurrence net is endowed with a symmetric, but in general non transitive, concurrency relation. By applying known techniques in lattice theory, from any such rela

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::45c62cf2b19f014de60746736baebe8d
https://doi.org/10.1007/978-3-642-02424-5_11

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání