Subtyping
发布于 29 天前
Subtyping We use \tau <: \sigma to denote that \tau is a sub …
Strong Normalization of Simply Typed Lambda Calculus
发布于 2021-11-29
Strong Normalization of Simply Typed Lambda Calculus From the ( …
Simply Typed Lambda Calculus
发布于 2021-11-14
Preliminaries The Typing Relation A term t belongs to type T me …
Untyped Lambda Calculus
发布于 2021-11-10
The syntax of Church’s lambda calculus can be described by BNF: ̷
Preliminaries for Type Theory
发布于 2021-11-10
\cfrac{premise}{conclusion} is called inference rule, it stands f …
对KMP算法中前缀函数的分析以及正确性证明
发布于 2021-05-27
本文中用P_n表示P[1..n]，用P[n]表示P中的第n个字符，用P_i\sqsupset P_q代表P_i是P_q的后缀，用P …
计算理论导引笔记整理 第三部分 第二十一章 Minsky定理
发布于 2021-05-26
Minsky’s Theorem A two-pushdown stack machine, abbr. 2PDA, is a P ̷
Compiler notes: Syntax-Directed Translation
发布于 2021-05-25
Three-address code The compilers do not treat the part of the pro …
计算理论导引笔记整理 第三部分 第二十章 波斯特机
发布于 2021-05-23
Post Machines A particular “universal computing machine” is int
Compiler learning notes: compilation phases
发布于 2021-05-23
Language Processors A compiler is a program that read a program i …
