César Muñoz - Profile on Academia.edu (original) (raw)

César Muñoz

Levent Erkok related author profile picture

Michael Hicks related author profile picture

Lawrence Paulson related author profile picture

Justin Ward related author profile picture

Myla Archer related author profile picture

Greg Michaelson related author profile picture

Marko van Eekelen related author profile picture

Olivier Pons related author profile picture

Véronique Donzeau-gouge related author profile picture

Paulo F. Silva related author profile picture

Uploads

Papers by César Muñoz

Research paper thumbnail of The proof monad

The Journal of Logic and Algebraic Programming, 2010

A formalism for expressing the operational semantics of proof languages used in procedural theore... more A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to describe the computational features of proof languages, such as side effects, exception handling, and backtracking. The formalism, called proof monads, finds its roots in category theory, and in particular satisfies the monad

Research paper thumbnail of The proof monad

The Journal of Logic and Algebraic Programming, 2010

A formalism for expressing the operational semantics of proof languages used in procedural theore... more A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to describe the computational features of proof languages, such as side effects, exception handling, and backtracking. The formalism, called proof monads, finds its roots in category theory, and in particular satisfies the monad

Log In