Implementation of an Orchestration Language as a Haskell Domain Specific Language. - Marco Devesas Campos; Luís Soares Barbosa (FOCLASA, 2009)

The Algebra of Directed Acyclic Graphs. - Marcelo P. Fiore; Marco Devesas Campos (Computation, Logic, Games, and Quantum Foundations, 2013)

Classical Logic with Mendler Induction - A Dual Calculus and Its Strong Normalization. - Marco Devesas Campos; Marcelo P. Fiore (LFCS, 2016)

A Syntactic View of Computational Adequacy. - Marco Devesas Campos; Paul Blain Levy (FoSSaCS, 2018)

Classical logic with Mendler induction. - Marco Devesas Campos; Marcelo Fiore (J. Log. Comput., 2020)