Natural Deduction for Intuitionistic Least and Greatest Fixedpoint Logics, with an Application to Program Construction (1998)

by G Barthe, M J Frade, E Gimenez, L Pinto, T Uustalu
Venue:PhD thesis (Dissertation TRITA-IT AVH 98:03), Dept. of Teleinformatics, Royal Inst. of Technology