CINECA IRIS Institutional Research Information System

Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic

BERARDI, Stefano;STEILA, SILVIA
2014-01-01
2014
Inglese
contributo
1 - Conferenza
TYPES 2013
Toulouse
2013
Internazionale
Ralph Matthes, Aleksy Schubert
19th International Conference on Types for Proofs and Programs (TYPES 2013)
Esperti anonimi
Ralph Matthes, Aleksy Schubert
Toulouse
FRANCIA
26
64
83
20
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
2-s2.0-84907727507
http://drops.dagstuhl.de/opus/volltexte/2014/4626
2
info:eu-repo/semantics/conferenceObject
04-CONTRIBUTO IN ATTI DI CONVEGNO::04A-Conference paper in volume
S. Berardi; S. Steila
273
none
04A-Conference paper in volume
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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/150980
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 10
  • ???jsp.display-item.citation.isi??? ND
social impact