Zobrazeno 1 - 10
of 54
pro vyhledávání: '"Guillermo, Mauricio"'
The point of this work is to explore axiomatisations of concurrent computation using the technology of proof theory and realizability. To deal with this problem, we redefine the Concurrent Realizability of Beffara using as realizers a $\pi$-calculus
Externí odkaz:
http://arxiv.org/abs/2112.14606
Publikováno v:
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019)
In this paper we present a semantics for a linear algebraic lambda-calculus based on realizability. This semantics characterizes a notion of unitarity in the system, answering a long standing issue. We derive from the semantics a set of typing rules
Externí odkaz:
http://arxiv.org/abs/1904.08785
In the context of the $\mathcal{OCA}$ associated to an ${\mathcal{AKS}}$ we introduce a closure operator and two associated maps that replace the closure and the maps defined in \cite{kn:ocar}. We were motivated by the search of a full adjunction to
Externí odkaz:
http://arxiv.org/abs/1512.07879
Autor:
Alejandra Carolina Tul Tipantuña, Guillermo Mauricio Aguirre Balseca, María Soledad Peñeherrera Manosalvas
Publikováno v:
Revista Científica Especialidades Odontológicas UG, Vol 5, Iss 2 (2022)
La anatomía del seno maxilar (SM) tiene una estrecha relación con las raíces dentales superiores, convirtiéndose en un reto para tratamientos endodónticos. El piso del seno maxilar esta recubierto por una fina capa cortical y por la membrana de
Externí odkaz:
https://doaj.org/article/4f42f3db1f48459eb74c13875c7467a5
Autor:
Guillermo, Mauricio
Ce travail est devoué à la Réalisabilité de Krivine, se focalisant sur les aspects calculatoires des réalisateurs des formules. Chaque formule a un jeu associé. Chaque preuve fournit un therme capable d'implémenter une stratégie gagnante pour
Externí odkaz:
http://tel.archives-ouvertes.fr/tel-00594974
http://tel.archives-ouvertes.fr/docs/00/59/49/74/PDF/these.pdf
http://tel.archives-ouvertes.fr/docs/00/59/49/74/PDF/these.pdf
Autor:
Santos, Walter Ferrer, Frey, Jonas, Guillermo, Mauricio, Malherbe, Octavio, Miquel, Alexandre
We consider different classes of combinatory structures related to Krivine realizability. We show, in the precise sense that they give rise to the same class of triposes, that they are equivalent for the purpose of modeling higher-order logic. We cen
Externí odkaz:
http://arxiv.org/abs/1410.5034
Autor:
Guillermo, Mauricio, Miquey, Étienne
In this paper we treat the specification problem in classical realizability (as defined in [20]) in the case of arithmetical formul{\ae}. In the continuity of [10] and [11], we characterize the universal realizers of a formula as being the winning st
Externí odkaz:
http://arxiv.org/abs/1403.0875
Besides recalling the basic definitions of Realizability Lattices, Abstract Krivine Structures, Ordered Combinatory Algebras and Tripos and reviewing its relationships, we propose a new foundational framework for realizability. Motivated by Streicher
Externí odkaz:
http://arxiv.org/abs/1309.0706
Publikováno v:
FSCD 2023-8th International Conference on Formal Structures for Computation and Deduction
FSCD 2023-8th International Conference on Formal Structures for Computation and Deduction, Jul 2023, Rome, Italy
FSCD 2023-8th International Conference on Formal Structures for Computation and Deduction, Jul 2023, Rome, Italy
This work aims at exploring the algebraic structure of concurrent processes and their behavior independently of a particular formalism used to define them. We propose a new algebraic structure called conjunctive involutive monoidal algebra (CIMA) as
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::913b4fa960593c990e1ee32beab9f347
https://inria.hal.science/hal-04083002v1/document
https://inria.hal.science/hal-04083002v1/document
Publikováno v:
Repositorio Institucional USTA
Universidad Santo Tomás
instacron:Universidad Santo Tomás
Universidad Santo Tomás
instacron:Universidad Santo Tomás
En el contexto del siglo XXI, las Instituciones de Educación Superior (IES) hacen frente a los retos de la Sociedad del Conocimiento. Por una parte, estas asumen el desafío de desarrollar competencias en la mediación de nuevas tecnologías para pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::c1ed00bc1bfb08439a141fd47a3bb4fa