Stark, Ian
-
BRICS Report Series Nr. 39 (1997): RS-39 Names, Equations, Relations: Practical Ways to Reason about new - Artikler
Names, Equations, Relations: Practical Ways to Reason about new
Resumé PDF (English) -
BRICS Report Series Nr. 31 (1996): RS-31 Names, Equations, Relations: Practical Ways to Reason about 'new' - Artikler
Names, Equations, Relations: Practical Ways to Reason about 'new'
Resumé PDF (English) -
BRICS Report Series Nr. 34 (1997): RS-34 Presheaf Models for the pi-Calculus - Artikler
Presheaf Models for the pi-Calculus
Resumé PDF (English)