Examples of Restriction Spaces

Benoît Ballenghien 📧, Benjamin Puyobro 📧 and Burkhart Wolff 📧

May 7, 2025

Abstract

In this session, a number of examples are provided to illustrate how the Restriction_Spaces library works. The simple cases are, of course, covered: trivial restriction, booleans, integers, option type, and so on. But we also explore more elaborate constructions, such as formal power series and a trace model of the CSP process algebra. Additionally, we provide a lightweight integration with HOLCF, equipping restriction spaces with the inherited partial order structure when needed.

License

BSD License

Topics

Session Restriction_Spaces-Examples

Session Restriction_Spaces-HOLCF