Stark, Ian

• BRICS Report Series No. 39 (1997): RS-39 Names, Equations, Relations: Practical Ways to Reason about new - Articles
  Names, Equations, Relations: Practical Ways to Reason about new
  Abstract  PDF
• BRICS Report Series No. 31 (1996): RS-31 Names, Equations, Relations: Practical Ways to Reason about 'new' - Articles
  Names, Equations, Relations: Practical Ways to Reason about 'new'
  Abstract  PDF
• BRICS Report Series No. 34 (1997): RS-34 Presheaf Models for the pi-Calculus - Articles
  Presheaf Models for the pi-Calculus
  Abstract  PDF