Dion Coumans

According to our database, Dion Coumans authored at least 7 papers between 2009 and 2014.

Collaborative distances:

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

2014

Relational semantics for full linear logic.

Dion Coumans, Mai Gehrke, Lorijn van Rooijen

J. Appl. Log., 2014

2013

On generalizing free algebras for a functor.

Dion Coumans, Samuel J. van Gool

J. Log. Comput., 2013

Duality and Universal Models for the Meet-Implication Fragment of IPC.

Nick Bezhanishvili, Dion Coumans, Samuel J. van Gool, Dick de Jongh

Proceedings of the Logic, Language, and Computation, 2013

Scalars, Monads, and Categories.

Dion Coumans, Bart Jacobs

Proceedings of the Quantum Physics and Linguistics, 2013

2012

Canonical extensions in logic: some applications and a generalization to categories.

Dion Coumans

PhD thesis, 2012

Generalising canonical extension to the categorical setting.

Dion Coumans

Ann. Pure Appl. Log., 2012

2009

Distributive Lattice-Structured Ontologies.

Hans Bruun, Dion Coumans, Mai Gehrke

Proceedings of the Algebra and Coalgebra in Computer Science, 2009