文章基本信息

标题：Mathematical Structures in Dependent Type Theory (Invited Talk)
本地全文：下载
作者：Assia Mahboubi
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2021
卷号：183
页码：2:1-2:3
DOI：10.4230/LIPIcs.CSL.2021.2
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：In this talk, we discuss the role and the implementation of mathematical structures in libraries of formalised mathematics in dependent type theory.
关键词：Mathematical structures; formalized mathematics; dependent type theory