author : Peter Bancroft

Short works

• A Formal Semantics for a Language with Type Extension. 1995. (In ZUM '95 )