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. 18 (1994): RS-18 LCF Examples in HOL - Articles
LCF Examples in HOL
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