Last modified: Sat Mar 15 21:26:59 -05 2025
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.
| Andrés
Sicard Ramírez
Last modified: Sat Mar 15 21:26:59 -05 2025 |