鹤翔万里的笔记本

递归系统 PCF

正在初始化搜索引擎

Home
Computer Science
Security
DevOps
CTF
Writeups
Others

鹤翔万里的笔记本

Home
Home
- 更新记录
- 友链
Computer Science
Computer Science
- 编程语言 & ISA
  编程语言 & ISA
  - C/C++
    C/C++
    
    C 语言杂项
    
    C++ 面向对象
  - Python
    
    Python
    
    Python 基础语法
    
    NumPy
    
    PIL
  - Rust
    
    Rust
    
    Rust 基础语法
    
    Rust 杂项随记
  - Haskell
  - Chisel
  - x86 汇编语言
  - RISC-V ISA
    
    RISC-V ISA
    
    RISC-V 非特权级 ISA
    
    RISC-V 特权级 ISA
    
    RISC-V 页表相关
    
    Spike 工具链相关
  - 编程语言原理
    
    编程语言原理
    
    Lambda 演算
    
    抽象语法树与归纳法
    
    静态语义与动态语义
    
    函数与递归
    
    数据类型
    
    递归系统 PCF
  - 编译原理
    
    编译原理
    
    词法分析与语法分析
- 计算机系统
  计算机系统
  - 计算机系统 I
    
    计算机系统 I
    
    数据的表示
    
    数字逻辑电路基础
    
    组合逻辑电路设计
    
    时序逻辑电路设计
    
    指令集体系结构
    
    处理器
    
    系统 I 实验部分
    系统 I 实验部分
    
    系统 I lab1-1
    
    系统 I lab1-2
    
    系统 I lab2-1
    
    系统 I lab2-2
    
    系统 I lab3
    
    系统 I lab4-1
    
    系统 I lab4-2
    
    系统 I lab5-1
    
    系统 I lab5-2
  - 计算机系统 II
    
    计算机系统 II
    
    流水线 CPU
    
    操作系统简介
    
    操作系统结构及系统调用
    
    进程与线程
    
    CPU 调度
    
    进程同步
    
    系统 II 实验部分
    系统 II 实验部分
    
    系统 II lab1
    
    系统 II lab2
    
    系统 II lab7
  - 计算机系统 III
    
    计算机系统 III
    
    系统量化研究方法
    
    系统 III 实验部分
    系统 III 实验部分
    
    系统 III lab1
    
    系统 III lab2
  - ICS PA 实验纪实
- 算法相关
  算法相关
  - 数据结构基础
    
    数据结构基础
    
    算法分析基础
    
    基础数据结构
    
    排序与哈希
- 人工智能相关
  人工智能相关
  - 人工智能基础
- 高性能计算相关
  高性能计算相关
  - HPC 101 超算小学期
    
    HPC 101 超算小学期
    
    向量化计算
    
    GPU 编程
    
    OpenMP 基础
    
    MPI 基础
    
    机器学习基础
- 理论计算机相关
  理论计算机相关
  - 计算理论
    
    计算理论
    
    语言、自动机与正则表达式
    
    上下文无关语言
    
    图灵机理论基础
    
    判定问题
    
    函数可计算性
    
    复杂度理论
- 零散知识点
  零散知识点
  - 正则表达式
  - Unicode
- 源码剖析
  源码剖析
  - mkdocs 源码剖析
- 工具相关
  工具相关
  - 工具收集
  - 站点生成工具
    站点生成工具
    
    mkdocs 使用记录
    
    hexo 使用记录
    
    sphinx 使用记录
Security
Security
- 密码学
  密码学
- 软件安全
  软件安全
- 网络安全
  网络安全
- 系统安全
  系统安全
- 无线与物联网安全
  无线与物联网安全
- 漏洞复现
  漏洞复现
  - log4j 漏洞复现
DevOps
DevOps
- 系统运维
  系统运维
- 网络运维
  网络运维
- 网络协议
  网络协议
  - VMess
- 前端技术
  前端技术
  - CSS
  - SVG
- 排版写作规范
  排版写作规范
  - 中文排版需求
  - 中文技术文档风格指南
CTF
CTF
- misc
  misc
  - 隐写术
    
    隐写术
    
    图片隐写
    
    音频隐写
  - 沙箱逃逸
    
    沙箱逃逸
    
    Python 沙箱逃逸
  - 取证
    
    取证
    
    内存取证
  - 编码/密码类
    编码/密码类
    
    编码及古典密码
    
    QRCode
    
    Esolang
  - Blockchain
    
    Blockchain
    
    Ethereum
    
    Ethereum
    
    以太坊基础
    
    以太坊虚拟机
    
    Solidity 语言
    
    Yul 语言
    
    常见合约漏洞攻击手段
    
    ERC 标准
    
    其余重要 EIPs
    
    Solana
    
    Solana
- pwn
  pwn
  - 栈漏洞利用
    
    栈漏洞利用
  - 堆漏洞利用
    
    堆漏洞利用
Writeups
Writeups
- Training
  Training
- 2021
  2021
- 2022
  2022
- 2023
  2023
Others
Others
- 课程笔记
- 字幕制作系列
  字幕制作系列
- TroubleShooting
  TroubleShooting
  - macOS TroubleShooting

递归系统 PCF ¶

约 25 个字预计阅读时间不到 1 分钟

Abstract

编程语言原理第十三周至第十六周课程内容

2024年1月16日 16:04:58 2024年1月16日 16:04:58

Copyright © 2022-2025 TonyCrane

Made with Material for MkDocs modified by TonyCrane