Zobrazeno 1 - 10
of 79
pro vyhledávání: '"Agudelo Agudelo"'
Publikováno v:
EPTCS 357, 2022, pp. 25-37
A paraconsistent type theory (an extension of a fragment of intuitionistic type theory by adding opposite types) is here extended by adding co-function types. It is shown that, in the extended paraconsistent type system, the opposite type constructor
Externí odkaz:
http://arxiv.org/abs/2204.03882
Autor:
Pantoja-Gomez, Oscar Camilo, Agudelo-Agudelo, Juanita, Duenas-Mesa, Elida, Proaños, Juliana, Escamilla-Gil, Maria Isabel, Suarez, Miguel Ricardo, Nino, Gustavo, Giraldo, Luis Fernando
Publikováno v:
In Sleep Medicine July 2024 119:584-588
Publikováno v:
Revista Juridicas. jul-dic2024, Vol. 20 Issue 2, p7-14. 8p.
Publikováno v:
Jurídicas, Vol 20, Iss 2 (2023)
Externí odkaz:
https://doaj.org/article/7bf47d35a53344e78997b2feb1202ca1
Publikováno v:
Jurídicas, Vol 19, Iss 1 (2022)
En primer lugar, quiero agradecer a todos aquellos que colaboran con la Revista Jurídicas, en especial, a Pamela Zamora, la asistente editorial, pero también al equipo editorial, los pares evaluadores, los articulistas, y todos aquellos que de una
Externí odkaz:
https://doaj.org/article/897612ae473e407680b0134426c6130b
Publikováno v:
Jurídicas, Vol 18, Iss 1 (2021)
This article has four parts. The first one shows the reception of the “Countermajoritarian Difficulty” (CMD) in Colombia, it is to say, how the tension between judges an democracy, a constitutional topic created by Alexander Bickel in America, wa
Externí odkaz:
https://doaj.org/article/b9329f0911424b9f9a0550d8638570d3
Publikováno v:
Jurídicas, Vol 18, Iss 1 (2021)
Externí odkaz:
https://doaj.org/article/dc2a7979bbe944f7bcbac998201fc990
Autor:
María Teresa Agudelo Agudelo
Publikováno v:
Escritos, Vol 16, Iss 36 (2020)
Se describen algunos personajes carrasquillescos y sus formas de pensamiento y expresión de acuerdo con sus diferentes entornos y relación con la palabra. Para hablar de los personajes orales, se hace referencia a ciertos prototipos como el campesi
Externí odkaz:
https://doaj.org/article/89c6e7926a734ca4802ea8a38a165471
Autor:
Agudelo-Agudelo, Juan C1 (AUTHOR) juan.agudelo9@udea.edu.co, Sicard-Ramírez, Andrés2 (AUTHOR)
Publikováno v:
Logic Journal of the IGPL. Oct2022, Vol. 30 Issue 5, p777-806. 30p.