Constructing strictly positive families (2006)

by Peter Morris, Thorsten Altenkirch, Neil Ghani
Venue:In Types for Proofs and Programs, International Workshop, TYPES 2004, volume 3839 of LNCS