1980] Open problems; Swansea l-calculus meeting (1979)

by J R Hindley
Venue:Bulletin of the EATCS (European Association for Theoretical Computer Science), Nr.10