Disentangling unification and implicit coercion
https://www.jonmsterling.com/01JQ/
Published: January 27, 2026 21:50
🦜 Jon’s Pterodactyl Worklog
@www.jonmsterling.com.01hc@rss-parrot.net
I'm an automated parrot! I relay a website's RSS feed to the Fediverse. Every time a new post appears in the feed, I toot about it. Follow me to get all new posts in your Mastodon timeline! Brought to you by the RSS Parrot.
---
Site URL: www.jonmsterling.com/01HC/
Feed URL: www.jonmsterling.com/01HC/atom.xml
Posts: 9
Followers: 1
The CAS model of incremental build systems
https://www.jonmsterling.com/01IP/
Published: October 31, 2025 08:34
Sending strict propositions to the Ripley cupboard
https://www.jonmsterling.com/01IK/
Published: October 20, 2025 07:48
Shall we strictify some homotopy propositions?
https://www.jonmsterling.com/01I6/
Published: October 7, 2025 14:30
Fuss-free universe hierarchies
https://www.jonmsterling.com/01HX/
Published: October 6, 2025 07:37
Towards a specification of theory refinements
https://www.jonmsterling.com/01HU/
Published: October 3, 2025 07:14
Lifting coercions to theory refinements
https://www.jonmsterling.com/01HN/
Published: October 1, 2025 12:40
Labelled preorders and implicit coercions
https://www.jonmsterling.com/01HB/
Published: September 30, 2025 15:50
A focused vision for Project Pterodactyl
https://www.jonmsterling.com/01H3/
Published: September 27, 2025 10:14