Type Theory with Opposite Types: A Paraconsistent Type
Theory
Juan C. Agudelo-Agudelo and Andrés
Sicard-Ramírez
Logic Journal of the IGPL, 30(5),
2022. [ DOI ]
About Opposition and Duality in Paraconsistent Type
Theory
Juan C. Agudelo-Agudelo and Andrés
Sicard-Ramírez
16th Logical and Semantic Frameworks with
Applications
(LSFA
2021). [ DOI ]
Reasoning about Functional Programs by
Combining Interactive and Automatic Proofs
Andrés
Sicard-Ramírez
PhD thesis, PEDECIBA
Informática. Universidad de la República. Uruguay,
2015. [ official
url, pdf for on screen
viewing, defense
slides, code,
highlighted Agda code ]
Combining Interactive and Automatic
Reasoning in First Order Theories of Functional
Programs
Ana Bove, Peter Dybjer and Andrés
Sicard-Ramírez
15th International Conference on
Foundations of Software Science and Computation Structures
(FoSSaCS
2012). The original publication is available
at http://link.springer.com/chapter/10.1007/978-3-642-28729-9_7. [
pdf, code, highlighted
Agda code ]
Embedding a Logical Theory of
Constructions in Agda
Ana Bove, Peter Dybjer and
Andrés Sicard-Ramírez
Proceedings of the 3rd Workshop on
Programming Languages Meets Program Verification (PLPV
2009). © ACM, 2009. This is authors' version of the
work. It is posted here by permission of ACM for your personal
use. Not for redistribution. The definitive version was
published in PLPV
2009, http://doi.acm.org/10.1145/1481848.1481857. [ pdf, code,
highlighted Agda code ]
Computación cuántica geométrica: Modelo
Kerr
Mario Vélez and Andrés Sicard
Journal de
Ciencia e Ingeniería, 1(1),
2009. [ pdf ]
Quantum hypercomputation based on the dynamical algebra
su(1,1)
Andrés Sicard, Juan Ospina and Mario
Vélez
Journal
of Physics A: Mathematical and General, 39(40),
2006.
Hipercomputación desde la computación cuántica
Andrés Sicard, Juan Ospina and Mario Vélez
Revista
Colombiana de Computación, 7(2),
2006. [ pdf ]
Pöschl-teller potentials based solution to Hilbert's
tenth problem
Mario Vélez, Andrés Sicard and Juan
Ospina
Ingeniería
y Ciencia, 2(4), 2006.
Universalidad de la computación cuántica geométrica:
Modelo de tres estados
Andrés Sicard and Mario
Vélez
Ingeniería
y Ciencia, 1(1), 2005.
Numerical simulations of a possible hypercomputational
quantum algorithm
Andrés Sicard, Juan Ospina and Mario
Vélez
7th International Conference on Adaptive and
Natural Computing Algorithms
(ICANNGA
2005). [ arXiv ]
Quantum algorithm of hypercomputation based on the
Pöschl-Teller potential
Mario Vélez, Andrés Sicard and
Juan Ospina
Memorias XXI Congreso Nacional de Física,
2005. Volume 38 of Revista Colombiana de Física,
2006. [ pdf ]
A possible hypercomputational quantum algorithm
Andrés Sicard, Mario Vélez and Juan Ospina
Proceedings SPIE 5815, Quantum Information and Computation
III,
2005. [ arXiv ]
Appendix: Subroutines and m-functions
Andrés
Sicard and B. Jack Copeland
In B. Jack Copeland,
editor. The Essential Turing. Oxford University Press, 2004, pp
54–57.
Máquinas de Turing paraconsistentes: Una posible
definición
Juan C. Agudelo and Andrés Sicard
Matemáticas: Enseñanza Universitaria, XII(2),
2004. [ pdf ]
Universalidad de la computación cuántica geométrica:
Modelo del medio Kerr
Andrés Sicard and Mario
Vélez
Memorias XX Congreso Nacional de Física,
2003. Volume 36 of Revista Colombiana de Física,
2004. [ pdf ]
Computación cuántica geométrica: Modelo de tres
estados
Mario Vélez and Andrés Sicard
Memorias XX Congreso Nacional de Física, 2003. Volume 36 of
Revista Colombiana de Física,
2004. [ pdf ]
Algoritmos cuánticos: La transformada de Fourier.
Luis Moreno and Andrés Sicard
Draft version,
2004. [ pdf and
slides ]
Computing a Turing-incomputable problem from quantum
computing.
Andrés Sicard, Mario Vélez and Juan
Ospina
Draft version,
2003. [ arXiv ]
Paralelismo cúantico: El problema de Deutsch
Andrés Sicard, Mario Vélez and Carlos Pérez
Silicio, 1(14),
2002. [ pdf ]
Hipercomputación
Andrés Sicard and Sergio
Pineda
In Andrés Burbano and Hernando Barragán,
editors. Hipercubo/ok/. Bogotá: Ediciones Uniandes,
2002. [ pdf ]
Informática Teórica: Elementos propedeúticos
Raúl Gómez Marín and Andrés Sicard Ramírez
Fondo Editorial Universidad EAFIT,
2002. 1era. reimpresión. [ book
home page ]
Compuerta de fase: Realización física a partir de una
fase abeliana (fase de Berry)
Mario E. Vélez Ruiz and
Andrés Sicard Ramírez
Draft version,
2002. [ pdf ]
Compuerta de fase: Construcción geométrica desde un haz
fibrado principal
Mario E. Vélez Ruiz and Andrés
Sicard Ramírez
Draft version,
2002. [ pdf ]
Hipercomputación: La próxima generación de la
computación teórica
Andrés Sicard and Mario
Vélez
Revista
Universidad EAFIT, 37(123), 2001.
Informática Teórica: Elementos
propedeúticos
Raúl Gómez Marín and Andrés Sicard
Ramírez
Fondo Editorial Universidad EAFIT,
2001. [ book home
page ]
El formalismo de la teoría gauge en la computación
cuántica
Mario Vélez and Andrés Sicard
Memorias
XIX Congreso Nacional de Física, 2001. Volume 33 of Revista
Colombiana de Física,
2001. [ pdf
]
Algunos comentarios sobre los números reales
computables
Andrés Sicard Ramírez and Mario Elkin
Vélez Ruiz
Draft version,
2001. [ pdf ]
Autorreferencia en el contexto de las máquinas de Turing
cuánticas
Andrés Sicard Ramírez and Mario Elkin Vélez
Ruiz
Draft version,
2001. [ pdf ]
Computación cuántica: Una perspectiva desde lo
continuo
Mario Vélez and Andrés
Sicard
Revista
Universidad EAFIT, 36(118), 2000.
Some relations between quantum Turing machines and
Turing machines
Andrés Sicard and Mario
Vélez
Draft version, 1999.
[ arXiv
]
Algunos elementos introductorios acerca de la
computación cuántica
Andrés Sicard Ramírez and Mario
Elkin Vélez Ruiz
Draft version,
1999. [ pdf ]
Introduction to quantum computing through Shor's
factorization algorithm and Grover's search
algorithm
Andrés Sicard, Mario Vélez, Carlos A. Pérez,
Fredy Gallego, Cathalina Gutiérrez and Luis Ospina
Draft
version, 1999. [ pdf
]
The Church-Turing thesis
Andrés Sicard-Ramírez
and Mario E. Vélez-Ruiz
Draft version,
1999. [ pdf ]
Cuántica y computación: Una aproximación desde los
postulados de la mecánica cuántica
Mario E. Vélez Ruiz
and Andrés Sicard Ramírez
Draft version,
1999. [ pdf ]
¿Más allá de la computabilidad? (Algunas reflexiones
acerca de)
Andrés
Sicard
Revista
Universidad EAFIT, 34(112),
1998. [ pdf
]
Máquinas de Turing dinámicas: Historia y desarrollo de
una idea (Dynamic Turing machines)
Andrés Sicard
Ramírez
Master's thesis, Departamento de Informática y
Sistemas. Universidad EAFIT,
1998. [ tar.gz ]
Máquina universal de Turing: Algunas indicaciones para
su construcción
Andrés
Sicard
Revista
Universidad EAFIT, 33(108),
1997. [ pdf
]
¿Máquina de Turing autorreferencial: Una
imposibilidad?
Andrés Sicard Ramírez
Draft
version, 1998. [ pdf
]
Máquinas de Turing
Andrés Sicard
Ramírez
Revista
Universidad EAFIT, 32(103)
1996. [ pdf
]
Introducción a la teoría de los sistemas dinámicos
abstractos y a la teoría de los sistemas dinámicos simbólicos:
Una revolución en marcha
Andrés Sicard
Ramírez
Revista
Universidad EAFIT, 31(97),
1995. [ pdf
]
Introducción a la teoría de los sistemas dinámicos
simbólicos (Introduction to the theory of dynamic symbolic
systems)
Andrés Sicard Ramírez and Angela María Muñoz
Gaviria
Monografía Ingeniería de Sistemas, Universidad
EAFIT, 1994.