[obsidian] vault backup: 2025-09-09 17:41:01[

2025-09-09 17:41:01 +09:00
parent cef88b3923
commit 3e067a2465
1 changed files with 10 additions and 0 deletions
--- a/content/文脈様相型理論.md
+++ b/content/文脈様相型理論.md
@@ -0,0 +1,10 @@
 ---
 date: 2025-09-09 17:08
 ---
 #programming 
 [[Contextural Modal Type Theory]]
 [[メタプログラミング]]や[[多段階計算]]に近しいやつ（らしい）
 [tocl07.pdf](https://www.cs.cmu.edu/~fp/papers/tocl07.pdf)