Lawrence C Paulson and Tobias Nipkow "A Fixedpoint Approach to Implementing (Co)Inductive Definitions"
(1993)
Languages mentioned
Isabelle-93
{1993}