DMCA

Fixed Points of Type Operators and Primitive Recursion (2004)

by Andreas Abel , Ralph Matthes