@inproceedings{3a64d15d0860470a8b10480a335962de,
title = "Theory and Practice of Higher-type Computation (Tutorial)",
author = "Mart{\'i}n Escard{\'o}",
year = "2009",
month = nov,
language = "English",
series = "OpenAccess Series in Informatics",
publisher = "Schloss Dagstuhl",
pages = "21",
editor = "Andrej Bauer and Peter Hertling and Ker-I Ko",
booktitle = "Proceedings of the 6th International Conference on Computability and Complexity in Analysis, CCA 2009",
address = "Germany",
note = "6th International Conference on Computability and Complexity in Analysis, CCA 2009 ; Conference date: 18-08-2009 Through 22-08-2009",
}