Calculate categorically (1992)

by Maarten M Fokkinga
Venue:Formal Aspects of Computing