K
laus
A
ehlig
Homepages 🌐
http://www.linta.de/~aehlig/
Entries
2008
Normalization by Evaluation
by
Klaus Aehlig
and
Tobias Nipkow
Feb 18