MISC

2002年

A simply typed context calculus with first-class environments(共著)

Journal of Functional and Logic Programming