Natural deduction for intuitionistic least and greatest fixedpoint logics, with an application to program construction (1998)

by T Uustalu
Venue:PhD thesis). Dissertation TRITA-IT AVH 98:03, Dept. of Teleinformatics, Royal Inst of Technology (KTH