DMCA

Formal Semantics in Modern Type Theories: Is It Model-theoretic, Proof-theoretic, or Both?⋆

Cached

Download Links

by Zhaohui Luo
Citations:1 - 0 self