A constructive manifestation of the Kleene–Kreisel continuous functionals

Research output: Contribution to journalArticle

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Pages (from-to)770-793
JournalAnnals of Pure and Applied Logic
Volume167
Issue number9
Early online date20 Apr 2016
Publication statusPublished - 1 Sep 2016