Publication
From Invariants to Canonization
Publication
Alice: Easy to Use Interactive 3D Graphics
Publication
A Structured Language Model
Publication
Implicit typing `a la ML for the join-calculus
Publication