Theory and Practice of Higher-type Computation (Tutorial)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Colleges, School and Institutes

Details

Original languageEnglish
Title of host publicationProceedings of the 6th International Conference on Computability and Complexity in Analysis, CCA 2009
EditorsAndrej Bauer, Peter Hertling, Ker-I Ko
Publication statusPublished - Nov 2009
Event6th International Conference on Computability and Complexity in Analysis, CCA 2009 - Ljubljana, Slovenia
Duration: 18 Aug 200922 Aug 2009

Publication series

NameOpenAccess Series in Informatics
Volume11
ISSN (Print)2190-6807

Conference

Conference6th International Conference on Computability and Complexity in Analysis, CCA 2009
Country/TerritorySlovenia
CityLjubljana
Period18/08/0922/08/09