%0 Thesis %1 phd/dnb/Philippi91 %A Philippi, Joachim %D 1991 %K dblp %P 1-159 %T Modulkonzepte und Berechnungen im polymorphen λ-Kalkül höherer Ordnung.

@phdthesis{phd/dnb/Philippi91, added-at = {2021-07-17T00:00:00.000+0200}, author = {Philippi, Joachim}, biburl = {https://www.bibsonomy.org/bibtex/2387d8883fc517c624c6bf02af0b0d24e/dblp}, ee = {https://d-nb.info/920724426}, interhash = {996b55ab0cf9184d4b8bc9226681ae2a}, intrahash = {387d8883fc517c624c6bf02af0b0d24e}, keywords = {dblp}, pages = {1-159}, school = {Saarland University, Saarbrücken, Germany}, timestamp = {2024-04-09T08:18:54.000+0200}, title = {Modulkonzepte und Berechnungen im polymorphen λ-Kalkül höherer Ordnung.}, year = 1991 }