Arne John Glenstrup
Associate professor at the IT University of
Copenhagen,
associated with the Programming, Logic, and Semantics group.
Talks
-
Implementing Binding
Bigraphs.
-
This talk gives an overview of how to reach an implementation-ready
description of bigraph matching for binding bigraphs, introducing
normal inferences and regularisation.
10.05.2007 at LiX, École Polytechnique, Paris. Handouts
Student project proposals
Student project proposals are listed on a
separate page.
