Exhaustible sets in higher-type computation

Research output: Contribution to journalArticle

Colleges, School and Institutes

Details

Original languageEnglish
Article number3
Pages (from-to)37 pages
JournalLogical Methods in Computer Science
Volume4
Issue number3
Early online date27 Aug 2008
Publication statusPublished - 27 Aug 2008