tomoyanonymous/quartz-research-note
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
e141c7369728ec60e8005f7c9ae147d57cf2c767
quartz-research-note/content/文脈様相型理論.md
松浦 知也 Matsuura Tomoya 3e067a2465
All checks were successful
Build / build (push) Successful in 11m3s
Details
[obsidian] vault backup: 2025-09-09 17:41:01[
2025-09-09 17:41:01 +09:00

227 B
Raw Blame History

date
date
2025-09-09 17:08

#programming

Contextural Modal Type Theory

メタプログラミングや多段階計算に近しいやつ（らしい）

tocl07.pdf