Algebraic Effects Meet Hoare Logic in Cubical Agda.
Donnacha Oisín KidneyZhixuan YangNicolas WuPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- computer algebra
- digital images
- automated reasoning
- algebraic structure
- defeasible logic
- modal logic
- predicate logic
- logical framework
- proof theory
- asynchronous circuits
- deontic logic
- positive effects
- computational properties
- databases
- probability theory
- situation calculus
- image segmentation
- learning algorithm
- machine learning
- real world