Least and Greatest Fixed Points in Intuitionistic Natural Deduction (2002)

Cached

Download Links

by Tarmo Uustalu , Varmo Vene