Reference : A Nominal Exploration of Intuitionism
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
A Nominal Exploration of Intuitionism
Rahli, Vincent mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Bickford, Mark [Cornell University > Computer Science Department]
The 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2016)
CPP 2016
January 2016
FnR ; FNR8149128 > Paulo Esteves Verissimo > IISD > Strategic RTnD Program on Information Infrastructure Security and Dependability > 01/01/2015 > 31/12/2019 > 2014

File(s) associated to this reference

Fulltext file(s):

Open access
continuity-final.pdfAuthor preprint370.88 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.