Least and greatest in intuitionistic natural deduction (2000)

by T Uustalu, V Vene
Venue:Theoretical Computer Science