Calculate categorically (1992)

by Maarten M Fokkinga
Venue:Formal Aspects of Computing
Citations:4 - 0 self