Edit Profile (opens in new tab) Egger, Jeffrey M. Co-Author Distance Author ID: egger.jeffrey-m Published as: Egger, Jeff; Egger, J. M.; Egger, Jeffrey M. more...less Documents Indexed: 11 Publications since 2006, including 1 Additional arXiv Preprint Co-Authors: 4 Co-Authors with 6 Joint Publications 56 Co-Co-Authors Co-Authors 5 single-authored 4 Møgelberg, Rasmus Ejlers 4 Simpson, Alex K. 1 Kruml, David 1 Mccurdy, Micah Blake Serials 3 Theory and Applications of Categories 1 Journal of Pure and Applied Algebra 1 Journal of Logic and Computation 1 Applied Categorical Structures 1 Logical Methods in Computer Science Fields 8 Category theory; homological algebra (18-XX) 7 Mathematical logic and foundations (03-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 Functional analysis (46-XX) 1 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications 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 all cited Publications top 5 cited Publications all top 5 Cited by 42 Authors 3 Egger, Jeffrey M. 2 Cockett, J. Robin B. 2 Møgelberg, Rasmus Ejlers 2 Penneys, David 2 Rennela, Mathys 2 Shulman, Michael A. 2 Srinivasan, Priyaa Varshinee 2 Staton, Sam 1 Ahman, Danel 1 Balan, Adriana 1 Benini, Marco 1 Boyarchenko, Mitya 1 Comfort, Cole 1 Dal Lago, Ugo 1 de Lacroix, Cédric 1 de’Liguoro, Ugo 1 Drinfeld, Vladimir Gershonovich 1 Ehrhard, Thomas 1 Faggian, Claudia 1 Ghani, Neil 1 Guerrieri, Giulio 1 Henriques, André Gil 1 Heunen, Chris 1 Jacobs, Bart 1 Kaarsgaard, Robin 1 Karvonen, Martti 1 Kruml, David 1 Mccurdy, Micah Blake 1 McDermott, Dylan 1 Nester, Chad 1 Oeckl, Robert 1 Orendain Almada, Juan 1 Plotkin, Gordon D. 1 Santocanale, Luigi 1 Schenkel, Alexander 1 Schöpp, Ulrich 1 Simpson, Alex K. 1 Treglia, Riccardo 1 Uustalu, Tarmo 1 Vákár, Matthijs 1 Woike, Lukas 1 Zamdzhiev, Vladimir all top 5 Cited in 12 Serials 4 Logical Methods in Computer Science 3 Applied Categorical Structures 2 Theory and Applications of Categories 1 Journal of Mathematical Physics 1 Journal of Pure and Applied Algebra 1 Annals of Pure and Applied Logic 1 Information and Computation 1 MSCS. Mathematical Structures in Computer Science 1 Selecta Mathematica. New Series 1 Logica Universalis 1 Quantum Topology 1 Higher Structures all top 5 Cited in 8 Fields 19 Category theory; homological algebra (18-XX) 14 Mathematical logic and foundations (03-XX) 13 Computer science (68-XX) 6 Quantum theory (81-XX) 3 Functional analysis (46-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 Partial differential equations (35-XX) 1 Numerical analysis (65-XX) Citations by Year