Legal full-text edition

Refinement Types as Higher Order Dependency Pairs

Unknown author

Read now Internet Archive

Rights
Public-domain status shown for US. https://creativecommons.org/publicdomain/zero/1.0/