constructive-mathematics

标签

#constructive-mathematics

直觉主义类型论 (2024)

Lobsters Hottest ↗ · 2026-09-18 缓存

本文概述了直觉主义类型论，这是一种基于依赖类型和λ演算的逻辑框架，源于Brouwer的直觉主义和Russell的类型论，并在证明助手和构造性数学中有应用。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈