Login
EN
[EN] English
[FR] Français
Login
EN
[EN] English
[FR] Français
Give us feedback
Search and explore
Search
Explore ORBilu
Open Science
Open Science
Open Access
Research Data Management
Definitions
Love My Data 11 - 15 Mar 2024
Statistics
Help
User Guide
FAQ
Publication list
Document types
Training
Legal Information
Data protection
Legal notices
About
About ORBilu
Deposit Mandate
ORBilu team
Impact and visibility
About statistics
About metrics
OAI-PMH
Project history
Back
Home
Detailled Reference
Download
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
A Nominal Exploration of Intuitionism
Rahli, Vincent
;
Bickford, Mark
2016
•
In
The 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2016)
Peer reviewed
Permalink
https://hdl.handle.net/10993/22820
DOI
10.1145/2854065.2854077
Files (1)
Send to
Details
Statistics
Bibliography
Similar publications
Files
Full Text
continuity-final.pdf
Author preprint (379.78 kB)
Download
All documents in ORBilu are protected by a
user license
.
Send to
RIS
BibTex
APA
Chicago
Permalink
X
Linkedin
copy to clipboard
copied
Details
Disciplines :
Computer science
Author, co-author :
Rahli, Vincent
;
University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Bickford, Mark;
Cornell University > Computer Science Department
External co-authors :
yes
Language :
English
Title :
A Nominal Exploration of Intuitionism
Publication date :
2016
Event name :
CPP 2016
Event date :
January 2016
Main work title :
The 5th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2016)
Peer reviewed :
Peer reviewed
FnR Project :
FNR8149128 - Strategic Rtnd Program On Information Infrastructure Security And Dependability, 2014 (01/01/2015-31/12/2021) - Marcus Völp
Available on ORBilu :
since 08 December 2015
Statistics
Number of views
92 (13 by Unilu)
Number of downloads
163 (6 by Unilu)
More statistics
Scopus citations
®
18
Scopus citations
®
without self-citations
7
OpenCitations
13
WoS citations
™
11
Bibliography
Similar publications
Contact ORBilu