Dion Coumans

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Relational semantics for full linear logic
Journal of Applied Logic
2016-05-10Paper
Duality and universal models for the meet-implication fragment of IPC
Logic, Language, and Computation
2015-12-03Paper
Relational semantics for a fragment of linear logic2014-08-12Paper
Scalars, monads and categories
(available as arXiv preprint)
2014-05-19Paper
On generalizing free algebras for a functor.
Journal Of Logic And Computation
2013-06-27Paper
Generalising canonical extension to the categorical setting
Annals of Pure and Applied Logic
2012-10-11Paper
Distributive lattice-structured ontologies
Algebra and Coalgebra in Computer Science
2012-06-01Paper


Research outcomes over time


This page was built for person: Dion Coumans