Ørbæk, Peter
-
BRICS Report Series Nr. 24 (1995): RS-24 Can you Trust your Data? - Artikler
Can you Trust your Data?
Resumé PDF (English) -
BRICS Report Series Nr. 31 (1995): RS-31 Trust in the lambda-calculus - Artikler
Trust in the lambda-calculus
Resumé PDF (English)