G.Hutton, Bananas in Space: Extending Squiggol to Function-Space Types (1995)

by E Meijer
Venue:Proc. FPCA 95