# Note de lecture: L’irrationalité du π

En premier. Observer la fonction: f_n(x)=\cfrac{x^n(1-x)^n}{n!} …

523 热度

# Axiomatic Set Theory

The Paradox The Naive Set Theory is considered inconsistent for a …

559 热度

# Theoretical Foundation of Typechecking algorithm for Equi-Recursive Types

Theoretical Foundation of Typechecking Algorithm for Equi-Recursi …

1180 热度

# Subtyping

Subtyping   We use \tau <: \sigma to denote that \tau is a sub …

1019 热度

# Strong Normalization of Simply Typed Lambda Calculus

Strong Normalization of Simply Typed Lambda Calculus   From the ( …

959 热度

# Simply Typed Lambda Calculus

Preliminaries The Typing Relation   A term t belongs to type T me …

1285 热度

# Untyped Lambda Calculus

The syntax of Church’s lambda calculus can be described by BNF: ̷

979 热度

# Preliminaries for Type Theory

\cfrac{premise}{conclusion} is called inference rule, it stands f …

688 热度

1640 热度

# 计算理论导引笔记整理 第三部分 第二十一章 Minsky定理

Minsky’s Theorem A two-pushdown stack machine, abbr. 2PDA, is a P ̷

933 热度