×
Author ID: egger.jeffrey-m Recent zbMATH articles by "Egger, Jeffrey M."
Published as: Egger, Jeff; Egger, J. M.; Egger, Jeffrey M.
Documents Indexed: 11 Publications since 2006, including 1 Additional arXiv Preprint
Co-Authors: 4 Co-Authors with 6 Joint Publications
56 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 34 times in 29 Documents Cited by Year
On involutive monoidal categories. Zbl 1261.18008
Egger, J. M.
9
2011
The Frobenius relations meet linear distributivity. Zbl 1226.03066
Egger, J. M.
6
2010
The enriched effect calculus: syntax and semantics. Zbl 1338.03014
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
5
2014
Enriching an effect calculus with linear types. Zbl 1257.03053
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
5
2009
Star-autonomous functor categories. Zbl 1210.18005
Egger, Jeff
3
2008
On cyclic star-autonomous categories. Zbl 1327.18014
Egger, J. M.; McCurdy, M. B.
3
2012
Linear-use CPS translations in the enriched effect calculus. Zbl 1273.03164
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
1
2012
Linearly-used continuations in the enriched effect calculus. Zbl 1284.68180
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
1
2010
Girard couples of quantales. Zbl 1196.06010
Egger, J. M.; Kruml, David
1
2010
The enriched effect calculus: syntax and semantics. Zbl 1338.03014
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
5
2014
On cyclic star-autonomous categories. Zbl 1327.18014
Egger, J. M.; McCurdy, M. B.
3
2012
Linear-use CPS translations in the enriched effect calculus. Zbl 1273.03164
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
1
2012
On involutive monoidal categories. Zbl 1261.18008
Egger, J. M.
9
2011
The Frobenius relations meet linear distributivity. Zbl 1226.03066
Egger, J. M.
6
2010
Linearly-used continuations in the enriched effect calculus. Zbl 1284.68180
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
1
2010
Girard couples of quantales. Zbl 1196.06010
Egger, J. M.; Kruml, David
1
2010
Enriching an effect calculus with linear types. Zbl 1257.03053
Egger, Jeff; Møgelberg, Rasmus Ejlers; Simpson, Alex
5
2009
Star-autonomous functor categories. Zbl 1210.18005
Egger, Jeff
3
2008

Citations by Year