Relating proof systems for recursive types / Clemens Armin Grabmayer
mainEntity
Relating proof systems for recursive types / Clemens Armin Grabmayer
author
description
Proefschrift Vrije Universiteit Amsterdam
inLanguage
isbn
9090190864
mainEntityOfPage
name
Relating proof systems for recursive types
numberOfPages
publication
sameAs
label
Relating proof systems for recursive types / Clemens Armin Grabmayer