Higher-order Containers

T Altenkirch, Paul Levy, S Staton, F Ferreira, B Löwe, E Mayordomo, LM Gomes

Computer Science

Research output: Contribution to conference (unpublished) › Paper

3 Citations (Scopus)

Original language	English
Pages	11-20
Number of pages	10
DOIs	https://doi.org/10.1007/978-3-642-13962-8
Publication status	Published - 1 Jun 2010

Access to Document

10.1007/978-3-642-13962-8

Advanced Research Fellowship : Semantics of Non-determinism: Functions, Strategies and Bisimulation
Levy, P.
Engineering & Physical Science Research Council
1/01/08 → 31/12/12
Project: Research Councils

Cite this