Predicate transformer semantics

https://www.wikidata.org/wiki/Q291929

Field Hierarchy

Parent
Computer science 54.8M papers	Programming language 7.2M papers	Semantics (computer science) 97k papers	Operational semantics 8,679 papers
Current
Predicate transformer semantics 419 papers
Child

Trends

Notes

History