Higher−Order Containers
Thorsten Altenkirch‚ Paul Blain Levy and Sam Staton
Book Title
Programs‚ Proofs‚ Processes‚ 6th Conference on Computability in Europe‚ CiE 2010‚ Ponta Delgada‚ Azores‚ Portugal‚ June 30 − July 4‚ 2010. Proceedings
Editor
Fernando Ferreira and Benedikt Löwe and Elvira Mayordomo and Luís Mendes Gomes
Pages
11–20
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
6158
Year
2010