Quotient Types: A Modular Approach (2002)

by Aleksey Nogin
Venue:ITU-T Recommendation H.324
Citations:6 - 3 self