Skip to Main Content (Press Enter)

Logo UNITO
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione

UNI-FIND
Logo UNITO

|

UNI-FIND

unito.it
  • ×
  • Home
  • Pubblicazioni
  • Progetti
  • Persone
  • Competenze
  • Settori
  • Strutture
  • Terza Missione
  1. Pubblicazioni

Total functionals and well-founded strategies

Contributo in Atti di convegno
Data di Pubblicazione:
1999
Abstract:
We investigate how to characterize total set-theoretic functionals in game theoretic models, and prove that well-founded winning strategies give a proper subclass of them, exactly consisting in Tait-definable functionals. Within the framework of generalized Novikoff-Coquand games with transfinite plays, total functionals (of finite type) are exactly definable by winning strategies, possibly of transfinite height. We exhibit two computable total type 3 functionals (of interest in program extraction from classical proofs) such that no well-founded strategy may define them.
Tipologia CRIS:
04A-Conference paper in volume
Elenco autori:
STEFANO BERARDI; U. DE' LIGUORO
Autori di Ateneo:
BERARDI Stefano
DE' LIGUORO Ugo
Link alla scheda completa:
https://iris.unito.it/handle/2318/17634
Titolo del libro:
Typed Lambda Calculi and Applications, Proceedings of the 4th International Conference, TLCA'99
Pubblicato in:
LECTURE NOTES IN COMPUTER SCIENCE
Journal
LECTURE NOTES IN COMPUTER SCIENCE
Series
  • Dati Generali

Dati Generali

URL

http://link.springer.com/chapter/10.1007%2F3-540-48959-2_6
  • Utilizzo dei cookie

Realizzato con VIVO | Designed by Cineca | 25.6.1.0