Agerholm, Sten

• BRICS Report Series No. 36 (1995): RS-36 Nonprimitive Recursive Function Definitions - Articles
  Non-primitive Recursive Function Definitions
  Abstract  PDF
• BRICS Report Series No. 37 (1995): RS-37 Experiments with ZF Set Theory in HOL and Isabelle - Articles
  Experiments with ZF Set Theory in HOL and Isabelle
  Abstract  PDF
• BRICS Report Series No. 44 (1994): RS-44 A HOL Basis for Reasoning about Functional Programs - Articles
  A HOL Basis for Reasoning about Functional Programs
  Abstract  PDF
• BRICS Report Series No. 18 (1994): RS-18 LCF Examples in HOL - Articles
  LCF Examples in HOL
  Abstract  PDF