Reference : A Nominal Exploration of Intuitionism
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/22820
A Nominal Exploration of Intuitionism
English
Rahli, Vincent mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Bickford, Mark [Cornell University > Computer Science Department]
2016
The 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2016)
Yes
CPP 2016
January 2016
http://hdl.handle.net/10993/22820
10.1145/2854065.2854077

File(s) associated to this reference

Fulltext file(s):

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

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.