A free logical foundation for nonstrict functions. Pages 39–46 of (1996)

by Raymond D Gumb, Karel Lambert
Venue:Proceedings of the cade-13 workshop