Type-Based Termination - A Polymorphic Lambda-Calculus with Sized Higher-Order Types

Polymorphic

von Andreas Abel

Taschenbuch

ISBN: 978-3-938363-04-1

ISBN-10: 3-938363-04-5

HARLAND media · 2007