Andrés Sicard-Ramírez

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 2

Top Topics

Logic Programming

Theoretical Basis

Computer Vision

Top Venues

Publications

Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez
Type Theory with Opposite Types: A Paraconsistent Type Theory. Log. J. IGPL 30 (5) (2022)
Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez
About Opposition and Duality in Paraconsistent Type Theory. LSFA (2021)
Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez
Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs. FoSSaCS (2012)
Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez
Embedding a logical theory of constructions in Agda. PLPV (2009)