update readme

TiarkRompf · Feb 8, 2025 · 42d3bc6 · 42d3bc6
1 parent 3acb023
commit 42d3bc6
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/polymorphism/README.md b/polymorphism/README.md
@@ -7,16 +7,19 @@ The $λ^\diamond$-calculus [1], a refined reachability model that scales to para
 * [`Base`](lambda_diamond_base) -- Base system introducing the new reachability model, lacking type polymorphism.
 * [`Fsub`](f_sub_diamond) -- Bounded type-and-reachability polymorphism.
 * [`Trans`](f_sub_trans) -- Bounded type-and-reachability polymorphism with explicit transitive closure.
+* [`SelfNat`](f_sub_self_nat) -- Bounded type-and-reachability polymorphism with self references and natural numbers.
 
 ```mermaid
 graph TD
     subgraph poly[Polymorphism]
       Base
       Fsub
 	  Trans
+	  SelfNat
     end
     Base-->Fsub
 	Base-->Trans
+	Trans-->SelfNat
 ```
 
 ## References