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