The optimal implementation of functional programming languages /

Autor Asperti, Andrea, 1961-, Guerrini, Stefano
Vydáno 1998

Categories, types and structures : an introduction to category theory for the working computer scientist /

Autor Asperti, Andrea, 1961-, Longo, Giuseppe
Vydáno 1991

Mathematical knowledge management : third International Conference, MKM 2004 : Bialowieza, Poland, September 19-21, 2004 : proceedings /

Vydáno 2004

Mathematical knowledge management : second International Conference, MKM 2003 : Bertinoro, Italy, February 16-18, 2003 : proceedings /

Vydáno 2003