A Nominal Exploration of Intuitionism

RAHLI, Vincent; Bickford, Mark

doi:10.1145/2854065.2854077

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

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

176 (13 by Unilu)

Number of downloads

227 (6 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

OpenAlex citations

WoS citations^™