Recursively defined metric spaces without contraction
van Breugel, Franck, Hermida, Claudio, Makkai, Michael, Worrell, James
Published in Theoretical computer science (21.06.2007)
Published in Theoretical computer science (21.06.2007)
Get full text
Journal Article
Conference Proceeding
A NOTE ON THE PENON DEFINITION OF n-CATEGORY
CHENG, Eugenia, MAKKAI, Michael
Published in Cahiers de topologie et géométrie différentielle catégoriques (2010)
Get full text
Published in Cahiers de topologie et géométrie différentielle catégoriques (2010)
Journal Article
A NOTE ON THE PENON DEFINITION OF n-CATEGORY
CHENG, Eugenia, MAKKAI, Michael
Published in Cahiers de topologie et géométrie différentielle catégoriques (2009)
Get full text
Published in Cahiers de topologie et géométrie différentielle catégoriques (2009)
Journal Article
An Accessible Approach to Behavioural Pseudometrics: With an Application to Probabilistic Systems
van Breugel, Franck, Hermida, Claudio, Makkai, Michael, Worrell, James
Published in Automata, Languages and Programming (2005)
Published in Automata, Languages and Programming (2005)
Get full text
Book Chapter
Conference Proceeding
On weak higher-dimensional categories I—3
Hermida, Claudio, Makkai, Michael, Power, John
Published in Journal of pure and applied algebra (2002)
Published in Journal of pure and applied algebra (2002)
Get full text
Journal Article
On weak higher-dimensional categories I – 2
Hermida, Claudio, Makkai, Michael, Power, John
Published in Journal of pure and applied algebra (23.03.2001)
Published in Journal of pure and applied algebra (23.03.2001)
Get full text
Journal Article
On weak higher dimensional categories I: Part 1
Hermida, Claudio, Makkai, Michael, Power, John
Published in Journal of pure and applied algebra (01.12.2000)
Published in Journal of pure and applied algebra (01.12.2000)
Get full text
Journal Article
Studying Repleteness in the Category of Cpos
Makkai, Michael, Rosolini, Giuseppe
Published in Electronic notes in theoretical computer science (1997)
Published in Electronic notes in theoretical computer science (1997)
Get full text
Journal Article