Nicolas Behr

  1. Title:
    Tracelet Algebras
    Speaker:
    Nicolas Behr

    Link:
    https://www.youtube.com/watch?v=3AxTNxN6kEQ

  2. Title:
    Towards Executable Applied Category Theory in Coq
    Speaker:
    Nicolas Behr

    Link:
    https://www.youtube.com/watch?v=inAjOcQumas