Dependable Atomicity in Type Theory

Andreas Nuyts, Dominique Devriese

Research output: Unpublished contribution to conferenceUnpublished paper

Fingerprint Dive into the research topics of 'Dependable Atomicity in Type Theory'. Together they form a unique fingerprint.

Engineering & Materials Science