Andrés Sicard-Ramírez

According to our database, Andrés Sicard-Ramírez authored at least 4 papers between 2009 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Type Theory with Opposite Types: A Paraconsistent Type Theory.

Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez

Log. J. IGPL, 2022

2021

About Opposition and Duality in Paraconsistent Type Theory.

Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez

Proceedings of the Proceedings 16th Logical and Semantic Frameworks with Applications, 2021

2012

Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs.

Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez

Proceedings of the Foundations of Software Science and Computational Structures, 2012

2009

Embedding a logical theory of constructions in Agda.

Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez

Proceedings of the 3rd ACM Workshop Programming Languages meets Program Verification, 2009