Jesse Hughes

Available identifiers

Publication	Date of Publication	Type
Blame it on me	2020-04-07	Paper
Concise graphs and functional bisimulations	2013-09-09	Paper
Simulations in coalgebra	2013-08-23	Paper
Factorization systems and fibrations: toward a fibred Birkhoff variety theorem	2013-08-16	Paper
Some co-Birkhoff type theorems	2013-08-15	Paper
Modal operators for coequations	2013-04-26	Paper
The coinductive approach to verifying cryptographic protocols.	2010-04-20	Paper
Don’t Ever Do That! Long-Term Duties in PD e L	2008-10-09	Paper
Don't ever do that! Long-term duties in \(PD_{e}L\)	2008-07-31	Paper
A semantics for means-end relations	2007-11-14	Paper
Means-end relations and a measure of efficacy	2006-11-17	Paper
Admissible digit sets	2006-03-20	Paper
Simulations in coalgebra	2005-01-11	Paper
Distributivity of categories of coalgebras	2004-10-27	Paper
Modal operators and the formal dual of Birkhoffs completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott.	2003-01-01	Paper

This page was built for person: Jesse Hughes