Software Engineering KB
Search
Search
Dark mode
Light mode
Explorer
Tag: predicates
1 item with this tag.
Feb 10, 2026
Types with Predicates
type-systems
refinement-types
predicates