Concepedia
3
Publications
52
Citations
H-Index
2012
Active since
Affiliations
Radboud University Nijmegen(Current)
Dion Coumans is an author at Radboud University Nijmegen specializing in semantics, formal methods, and automated reasoning.
Top concepts
SemanticsEngineeringFormal MethodsLogic ProgrammingAutomated Reasoning
Publications per year
2012–2013
Relational semantics for full linear logic
Dion Coumans, Mai Gehrke, Lorijn van Rooijen · Journal of Applied Logic · 2013 · 26 citations · Full text
Relational Semantics, Engineering, Automated Reasoning +5
Generalising canonical extension to the categorical setting
Dion Coumans · Annals of Pure and Applied Logic · 2012 · 14 citations
Higher Category Theory, Categorical Logic, Semantics +2
On generalizing free algebras for a functor
Dion Coumans, Samuel J. van Gool · Journal of Logic and Computation · 2012 · 12 citations
Abstract Algebra, Algebraic Structure, Modern Algebra +5
Rows per page
1–3 of 3