Theory, other · Lambda Calculus · Logic, Proof Theory · Programming languages - design, implementation · Semantics, types · Rewriting · mathematics.
確定! 回上一頁