Go to the corresponding LIPIcs Volume Portal 
Berardi, Stefano ; Steila, Silvia
pdfformat: 

@InProceedings{berardi_et_al:LIPIcs:2014:4626, author = {Stefano Berardi and Silvia Steila}, title = {{Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic}}, booktitle = {19th International Conference on Types for Proofs and Programs (TYPES 2013)}, pages = {6483}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897729}, ISSN = {18688969}, year = {2014}, volume = {26}, editor = {Ralph Matthes and Aleksy Schubert}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2014/4626}, URN = {urn:nbn:de:0030drops46269}, doi = {10.4230/LIPIcs.TYPES.2013.64}, annote = {Keywords: Formalization, Constructivism, Classical logic, Ramsey Theorem} }
Keywords:  Formalization, Constructivism, Classical logic, Ramsey Theorem  
Collection:  19th International Conference on Types for Proofs and Programs (TYPES 2013)  
Issue Date:  2014  
Date of publication:  25.07.2014 