tomoyanonymous/quartz-research-note
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity
Files
6614ec41524f439757d4c2c759d8845eff05253b
quartz-research-note/content/文脈様相型理論.md

227 B
Raw Blame History

date
date
2025-09-09 17:08

#programming

Contextural Modal Type Theory

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

tocl07.pdf

Reference in New Issue View Git Blame Copy Permalink