2 results
Theories of analytic monads
-
- Journal:
- Mathematical Structures in Computer Science / Volume 24 / Issue 6 / December 2014
- Published online by Cambridge University Press:
- 11 March 2014, e240604
-
- Article
- Export citation
Rigidity is undecidable
-
- Journal:
- Mathematical Structures in Computer Science / Volume 24 / Issue 6 / December 2014
- Published online by Cambridge University Press:
- 11 March 2014, e240605
-
- Article
- Export citation