Main

Mint Work Search Explore Works Knowledge Graph Citation Graph Bibliometrics Receipts

info@nobleid.org

About FAQ Developers Terms Policy Persistence & Resolver Service Policy

v1

Relatively Complete Counterexamples for Higher-Order Programs

Phúc C. Nguyễn, David Van Horn

PN

Phúc C. Nguyễn

NobleIDNI8P00W49R40S30

Type:Preprint

Claim Your Authorship

Sign in to see the full record

Creating an account is free.

Create an account

For data access, contact info@nobleid.org.