A domain model characterising strong normalisation (2007)

by Ulrich Berger
Citations:2 - 2 self