Marco Devesas Campos

According to our database, Marco Devesas Campos authored at least 5 papers between 2009 and 2020.

Collaborative distances:

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

2020

Classical logic with Mendler induction.

Marco Devesas Campos, Marcelo Fiore

J. Log. Comput., 2020

2018

A Syntactic View of Computational Adequacy.

Marco Devesas Campos, Paul Blain Levy

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2016

Classical Logic with Mendler Induction - A Dual Calculus and Its Strong Normalization.

Marco Devesas Campos, Marcelo P. Fiore

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016

2013

The Algebra of Directed Acyclic Graphs.

Marcelo P. Fiore, Marco Devesas Campos

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2009

Implementation of an Orchestration Language as a Haskell Domain Specific Language.

Marco Devesas Campos, Luís Soares Barbosa

Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009