TY  - BOOK
AU  - Grabmayer Clemens
TI  - Relating Proof Systems for Recursive Types
SN  - 9090190864
U1  - 512.8/GRA/2005 
PY  - 2005///
PB  - Geboren te Linz, Oostengijk
ER  -