Definierbare Funktionen im #-Kalkul mit Typen, Archief f ur (1976)

by H Schwichtenberg
Venue:Mathematische Logik