Menu
Home
Help and information
About this website
Privacy Policy
Hayo Thielecke
1 published title
Proceedings of the APPSEM-II Workshop on the Krivine and ZINC Abstract Machines (KAZAM)
(Contributor)
1 edition
School of Computer Science, University of Birmingham
2006
Details