objectionary/calculus-paper

• 类型：github
• 标识：objectionary/calculus-paper
• 链接：https://github.com/objectionary/calculus-paper
• 主题：engineering
• 主分类：engineering
• 形态：tutorial
• 分类：academic-writing
• Stars：11
• 周增：+0
• 语言：TeX
• 许可：MIT
• 最近提交：2026-09-28
• 简介：The original paper introducing the 𝜑-calculus, on which the EO programming language is based
• 上次采集：2026-09-29
• 首次采集：2026-09-29
• 学术状态：accepted
• 学术阶段：publishing
• 学术主任务：typesetting-templates
• 学术方向：typeset
• 学术用途：writing-typesetting
• 能力分面：latex, writing
• 学术相关度：80
• 学术判定：deterministic
• 学术证据：anchor:paper; anchor:research; anchor:latex; query:academic-latex; task:typesetting-templates:latex
• 学术复核时间：2026-09-29T01:30:02+08:00
• 待LLM分类：否
• 成熟度：experimental
• 简介中文：介绍 𝜑-calculus 的原始论文，EO 编程语言以此为基础。
• 场景：programming language theory、𝜑-calculus
• 来源文件：
• [GitHub Search]