Jorge Baralt-Torrijos

According to our database, Jorge Baralt-Torrijos authored at least 2 papers between 1975 and 2025.

Collaborative distances:

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

2025

CalcLogic: Functional Implementation of an Interactive Proof Assistant for Dijkstra-Scholten Calculational Logic.

Federico Flaviani, Leonardo López, Ronald Becerra, Jorge Baralt-Torrijos

Proceedings of the LI Latin American Computer Conference, 2025

1975

The programmatic semantics of binary predicator calculi.

Jorge Baralt-Torrijos, Lucio Chiaraviglio, William I. Grosky

Notre Dame J. Formal Log., 1975