Ramsey Theorem as an Intuitionistic Property of Well Founded Relations
Contributo in Atti di convegno
Data di Pubblicazione:
2014
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
S. Berardi; S. Steila
Link alla scheda completa:
Titolo del libro:
Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings
Pubblicato in: