The type and e ect discipline (1992)

by Jean-pierre Talpin, Pierre Jouvelot
Venue:In Information and Computation