Title : A Nominal Exploration of Intuitionism
Language : English
Author, co-author : Rahli, Vincent [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Bickford, Mark [Cornell University > Computer Science Department]
Publication date : 2016
Main document title : The 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2016)
Peer reviewed : Yes
Event name : CPP 2016
Event date : January 2016
Permalink : http://hdl.handle.net/10993/22820
DOI : 10.1145/2854065.2854077
FnR project : FnR ; FNR8149128 > Paulo Esteves Verissimo > IISD > Strategic RTnD Program on Information Infrastructure Security and Dependability > 01/01/2015 > 31/12/2019 > 2014