微分λ演算与资源λ演算的范畴模型是什么？
计算机科学中的逻辑
2010-11-11 v1
摘要
本文为无类型微分λ演算和资源演算提供了一种抽象模型理论。具体而言，我们提出了这些演算模型的一般定义，即笛卡尔闭微分范畴中的线性自反对象概念。提供了基于关系的模型示例。
引用
@article{arxiv.1011.2307,
title = {What is a categorical model of the differential and the resource lambda-calculi?},
author = {Manzonetto Giulio},
journal= {arXiv preprint arXiv:1011.2307},
year = {2010}
}