Marco Devesas Campos

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 3

Top Topics

Equivalence Class

Classical Logic

Causal Discovery

Independence Relations

Top Venues

J. Log. Comput.

Computation, Logic, Games, and Quantum Foundations

Publications

Marco Devesas Campos, Marcelo Fiore
Classical logic with Mendler induction. J. Log. Comput. 30 (1) (2020)
Marco Devesas Campos, Paul Blain Levy
A Syntactic View of Computational Adequacy. FoSSaCS (2018)
Marco Devesas Campos, Marcelo P. Fiore
Classical Logic with Mendler Induction - A Dual Calculus and Its Strong Normalization. LFCS (2016)
Marcelo P. Fiore, Marco Devesas Campos
The Algebra of Directed Acyclic Graphs. Computation, Logic, Games, and Quantum Foundations (2013)
Marco Devesas Campos, Luís Soares Barbosa
Implementation of an Orchestration Language as a Haskell Domain Specific Language. Electron. Notes Theor. Comput. Sci. 255 (2009)