A categorical semantics of constructions

[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science Pub Date : 1988-07-05 DOI:10.1109/LICS.1988.5125

T. Ehrhard

引用次数: 49

Abstract

An abstract framework is proposed for the description of the type dependency semantics. It is claimed that the notion of fibration introduced by A. Grothendieck in the 1960s is perfectly adapted to this goal and provides the greatest simplicity and generality. This semantics is extended to higher order, and an explanation is given of what a general definition for the semantics of the theory of constructions could be.<>

查看原文本刊更多论文

构式的范畴语义

提出了一个描述类型依赖语义的抽象框架。据称，A. Grothendieck在20世纪60年代提出的纤颤概念完美地适应了这一目标，并提供了最大的简单性和通用性。这个语义学被推广到更高阶，并解释了建构理论的语义学的一般定义是什么。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science

自引率

0.00%

发文量