4 treff

Advanced topics in types and programming languages
Benjamin C. Pierce, editor
Bok Engelsk 2005
Types and programming languages
Benjamin C. Pierce
Bok Engelsk 2002
Theoretical aspects of computer software : 4th international symposium, TACS 2001, Sendai, Japan, October 29-31, 2001 : proceedings
International Conference TACS
Bok Engelsk 2001
Basic category theory for computer scientists
Benjamin C. Pierce
Bok Engelsk 1991