J.A. Bergstra Equational specifications for computable data types
six hidden functions suffice and other sufficiency bounds
Gedrukt boek
six hidden functions suffice and other sufficiency bounds
Gedrukt boek
Dit boek kun je niet aanvragen, maar wel inzien. Het ligt ter inzage op de volgende locatie:
Koninklijke Bibliotheek