Publication
-
Presenting Distributive Laws Article
Logical Methods in Computer Science, 11(3)January 2015
-
January 2015
-
A Coinductive Treatment of Infinitary Term Rewriting and Equational Reasoning (Extended Version). Tech Report
January 2015
-
January 2015
-
A Distributed Theatre with Shakespeare In Proceedings
January 2015
-
January 2015
-
In Silico Modeling of Stomatal Patterning Presentation
January 2015
-
January 2015