Post #1863936
2026-04-23 18:12 UTC
PCF is a domain-specific language for ω-cppos.
Replies (1)
-
@MartinEscardo@mathstodon.xyz 2026-04-23 18:15
@carloangiuli Except that "ω-" is a distraction, because we don't really need it anywhere when reasoning about PCF programs. 🙂