Bücher nach ISBN > HARLAND media > Andreas Abel

Andreas Abel

A.A. · A ABEL

TitelISBN-13
(ISBN-10)		Erscheinungsjahr
Type-Based Termination - A Polymorphic Lambda-Calculus with Sized Higher-Order Types978-3-938363-O4-1
(3-938363-O4-5)		2007

Andreas Abele