Covid-19 y prisiones en Brasil

Autor: Bruno Rotta Almeida, Elaine Pimentel, Patrick Cacicedo

Publikováno v: Crítica Penal y Poder, Iss 24 (2023)

A partir de la comprensión de la realidad del sistema penitenciario brasileño, el artículo presenta el impacto del coronavirus y las medidas para hacer frente a la pandemia. Cuestiona cómo impacta la pandemia de Covid-19 en el encarcelamiento en

Externí odkaz: https://doaj.org/article/90ff19ebb7904f88ae43567cc257b919

Percepção de mulheres encarceradas sobre o acesso à saúde como ferramenta de ressocialização [Women prison inmates’ perceptions of access to health as a tool for resocialization] [Percepción de las mujeres reclusas sobre el acceso a la salud como herramienta de resocialización]

Autor: Karlayne Reynaux Vieira de Oliveira, Amuzza Aylla Pereira dos Santos, Maraysa Jessyca de Oliveira Vieira, Elaine Pimentel, Isabel Comassetto, Jovânia Marques de Oliveira e Silva

Publikováno v: Revista Enfermagem UERJ, Vol 28, Iss 0, Pp e49514-e49514 (2020)

Objetivo: desvelar a percepção das mulheres sobre o acesso aos serviços de saúde como ferramenta do processo de ressocialização. Método: trata-se de um estudo fenomenológico-sociológico, qualitativo, realizado entre novembro de 2018 e novemb

Externí odkaz: https://doaj.org/article/88c94ebfebc64b5abc7ae61e743e5b2b

A Fresh View of Linear Logic as a Logical Framework

Autor: Bruno Xavier, Elaine Pimentel, Carlos Olarte

Publikováno v: LSFA

One of the most fundamental properties of a proof system is analyticity, expressing the fact that a proof of a given formula F only uses subformulas of F. In sequent calculus, this property is usually proved by showing that the cut rule is admissible

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b19dc6c523d32f06f5b1c747addc300f
https://doi.org/10.1016/j.entcs.2020.08.008

Non-associative, Non-commutative Multi-modal Linear Logic

Autor: Eben Blaisdell, Max Kanovich, Stepan L. Kuznetsov, Elaine Pimentel, Andre Scedrov

Publikováno v: Automated Reasoning ISBN: 9783031107689

Adding multi-modalities (called subexponentials) to linear logic enhances its power as a logical framework, which has been extensively used in the specification of e.g. proof systems, programming languages and bigraphs. Initially, subexponentials all

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c048724e034eb053cb677681fa888aa5
https://doi.org/10.1007/978-3-031-10769-6_27

Hybrid linear logic, revisited

Autor: Kaustuv Chaudhuri, Carlos Olarte, Elaine Pimentel, Joëlle Despeyroux

Publikováno v: Mathematical Structures in Computer Science
Mathematical Structures in Computer Science, Cambridge University Press (CUP), In press, ⟨10.1017/S0960129518000439⟩
Mathematical Structures in Computer Science, In press, ⟨10.1017/S0960129518000439⟩

HyLL (Hybrid Linear Logic) is an extension of intuitionistic linear logic (ILL) that has been used as a framework for specifying systems that exhibit certain modalities. In HyLL, truth judgements are labelled by worlds (having a monoidal structure) a

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5ed2bfcf44f036eae51c2a13cec3192e
https://doi.org/10.1017/s0960129518000439