Normal view
MARC view
Grabmayer Clemens (Personal Name)
Machine generated authority record.
Work cat.: (OSt)1158: Grabmayer Clemens, Relating Proof Systems for Recursive Types, 2005