corpus.blog
Most cited
Talked about
Blogs
56,966 blogs · [ { "id": "01a08773-153f-718a-8f39-4d572030b79e", "title": "A New mCRL2 Type System", "url": "https://emi-h.com/articles/mcrl2/new-mcrl2-type-system", "published_at": "2026-06-11T19:09:00+00:00" }, { "id": "01a08773-153f-718a-8f39-4d571ff99ad5", "title": "A Case Against Currying", "url": "https://emi-h.com/articles/a-case-against-currying", "published_at": "2026-03-21T17:34:49+00:00" }, { "id": "01a08773-153f-718a-8f39-4d571feaaca1", "title": "Typechecking mCRL2", "url": "https://emi-h.com/articles/mcrl2/typechecking-mcrl2", "published_at": "2026-03-20T00:39:02+00:00" }, { "id": "01a08773-153f-718a-8f39-4d571f5f1cd6", "title": "Wordle as a Two-Player Game", "url": "https://emi-h.com/articles/wordle-partisan-game", "published_at": "2026-03-08T13:58:00+00:00" }, { "id": "01a08773-153f-718a-8f39-4d571ebf07eb", "title": "Biconnected Components", "url": "https://emi-h.com/articles/bcc", "published_at": "2025-09-21T23:06:42+00:00" } ] posts
Claim your blog
Back to emi-h.com
Blog · corpus.blog/blogs/emi-h.com/posts
emi-h.com
emi-h.com
2026
A New mCRL2 Type System
original ↗
11 Jun 2026
A Case Against Currying
original ↗
21 Mar 2026
Typechecking mCRL2
original ↗
20 Mar 2026
Wordle as a Two-Player Game
original ↗
8 Mar 2026
2025
Biconnected Components
original ↗
21 Sept 2025