Mending the Unending: Machine Assisted Reasoning with Infinite Objects July 2008 - January 2011
Collection
Collection
-
Coiterative Morphisms: Interactive Equational Reasoning for Bisimulation, using Coalgebras Tech Report
February 2010
-
Preliminary Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers Proceedings
July 2010 -
July 2010
-
Coalgebraic Representation Theory of Fractals In Proceedings
September 2010
-
December 2010