Eugenio Moggi

Available identifiers

zbMath Open moggi.eugenioMaRDI QIDQ615954

List of research outcomes

Publication	Date of Publication	Type
Robustness, Scott continuity, and computability	2024-03-05	Paper
Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad	2023-09-13	Paper
System analysis and robustness	2023-08-02	Paper
The S-replete construction	2022-12-16	Paper
A category-theoretic account of program modules	2022-08-16	Paper
Sound Over-Approximation of Probabilities	2020-10-02	Paper
Safe \& robust reachability analysis of hybrid systems	2018-09-24	Paper
Structuring Operational Semantics: Simplification and Computation	2013-12-06	Paper
Monad transformers as monoid transformers	2011-01-07	Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems	2010-02-05	Paper
Programming Languages and Systems	2007-09-28	Paper
Formal Methods for Components and Objects	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q3024897	2005-07-04	Paper
An abstract monadic semantics for value recursion	2005-03-21	Paper
MetaKlaim: a type safe multi-stage language for global computing	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4472540	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4449178	2004-02-08	Paper
https://portal.mardi4nfdi.de/entity/Q4445774	2004-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q4417870	2003-07-30	Paper
A fully abstract model for the \(\pi\)-calculus.	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q2754131	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4499224	2001-03-04	Paper
Monadic encapsulation of effects: a revised approach (extended version)	2001-01-01	Paper
Functorial ML	1999-05-03	Paper
https://portal.mardi4nfdi.de/entity/Q3839074	1999-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q4225151	1999-01-18	Paper
https://portal.mardi4nfdi.de/entity/Q4222897	1998-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q4327833	1995-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q4282574	1994-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q4282579	1994-03-17	Paper
Constructive natural deduction and its ‘ω-set’ interpretation	1992-09-26	Paper
A category-theoretic account of program modules	1992-06-25	Paper
Notions of computation and monads	1991-01-01	Paper
Kripke-style models for typed lambda calculus	1991-01-01	Paper
A category-theoretic characterization of functional completeness	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3202991	1989-01-01	Paper
Partial morphisms in categories of effective objects	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3764126	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3701413	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3677755	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3682463	1984-01-01	Paper
The hereditary partial effective functionals and recursion theory in higher types	1984-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Eugenio Moggi