Skip to main navigation
Skip to search
Skip to main content

Princeton University Home

Help & FAQ

Home
Profiles
Research units
Facilities
Projects
Research output

Search by expertise, name or affiliation

Foundational proof-carrying code

Andrew Wilson Appel

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

206 Scopus citations

Overview
Fingerprint

Fingerprint

Dive into the research topics of 'Foundational proof-carrying code'. Together they form a unique fingerprint.

Sort by
Weight
Alphabetically

Mathematics

Powered by Pure, Scopus & Elsevier Fingerprint Engine™ © 2023 Elsevier B.V

We use cookies to help provide and enhance our service and tailor content. By continuing you agree to the use of cookies

About web accessibility