Definierbare funktionen im #-kalkul mit typen (1976)

by H Schwichtenberg
Venue:Arch. Math. Logik