J. M. Egger

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!

Publication	Date of Publication	Type
The enriched effect calculus: syntax and semantics Journal Of Logic And Computation	2015-01-12	Paper
A Quillen model structure for Chu spaces	2013-10-08	Paper
Linear-use CPS translations in the enriched effect calculus Logical Methods in Computer Science	2012-10-22	Paper
On cyclic star-autonomous categories Journal of Pure and Applied Algebra	2012-10-16	Paper
On involutive monoidal categories	2011-08-01	Paper
Girard couples of quantales Applied Categorical Structures	2010-05-07	Paper
Linearly-Used Continuations in the Enriched Effect Calculus Foundations of Software Science and Computational Structures	2010-04-27	Paper
The Frobenius relations meet linear distributivity	2010-04-20	Paper
The Frobenius relations meet linear distributivity	2010-04-20	Paper
Enriching an Effect Calculus with Linear Types Computer Science Logic	2009-11-12	Paper
Star-autonomous functor categories	2008-08-13	Paper
Star-autonomous functor categories	2008-08-13	Paper
Quillen model categories without equalisers or coequalisers	2006-09-28	Paper

Research outcomes over time

This page was built for person: J. M. Egger