Eintrag weiter verarbeiten
The HASCASL prologue: Categorical syntax and semantics of the partial λ-calculus
Gespeichert in: