CINECA IRIS Institutional Research Information System

Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness

BERARDI, Stefano
2015-01-01
2015
CSL 2015
Berlino
September 7-10, 2015
24th EACSL Annual Conference on Computer Science Logic,
Stephan Kreutzer
41
343
358
978-3-939897-90-3
http://drops.dagstuhl.de/opus/volltexte/2015/5424
BERARDI, Stefano
File in questo prodotto:
File Dimensione Formato  
21.pdf

Accesso aperto

Descrizione: articolo di conferenza
Tipo di file: PDF EDITORIALE
Dimensione 430.59 kB
Formato Adobe PDF
Visualizza/Apri
430.59 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/1526139
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact