← Back to context

Comment by seumars

7 days ago

Any specific paper or article of his you would recommend?

2 comments

seumars

Reply

sitkack 7 days ago

https://en.wikipedia.org/wiki/Predicate_transformer_semantic...

Found in about 9 seconds.

grahamlee 7 days ago

_A Discipline of Programming_