Catalogue > People > Profile
1 Publications
Donald Sannella, Andrzej Tarlecki
in: Algebra, meaning, and computation, Berlin,
