Algebra of ProgrammingThis is the 100th. book in the Prentice Hall International Series in Computer Science. |
From inside the book
Results 1-3 of 65
... obtained by taking h = ( f , g ) in the right - hand side of ( 2.4 ) . Taking out for f and outr for g in ( 2.4 ) , we obtain the reflection law id = ( outl , outr ) . Taking ( h , k ) · m for h in ( 2.4 ) and using ( 2.5 ) , we obtain ...
... obtained by taking h = [ f , g ] on the right of ( 2.9 ) . Taking inl for f and inr for g in ( 2.9 ) we obtain the reflection law id = [ inl , inr ] . Taking m [ h , k ] for h , we obtain the fusion law m . [ h , k ] = [ f , g ] ...
... obtain the right type for op ° we need to ensure that 0 < n in the above cal- culation , and this means that we require 10 ≤m as a precondition . So op ° is a partial function , defined if and only if its argument is at least 10. On ...
Contents
Functions and Categories | 25 |
3 | 55 |
Relations and Allegories | 81 |
Copyright | |
9 other sections not shown