Authors: B. Piza, K.D. Schewe, J.W. Schmidt
Titel: Term Subsuption with Type Constructors
Source file: eifo.tex
Print file: eifo.ps