Locally cartesian closed categories and type theory
type: Item
instance of: scholarly article
title: Locally cartesian closed categories and type theory
zbMATH Open document ID: 0539.03048
DOI: 10.1017/S0305004100061284
author: R. A. G. Seely
published in: Mathematical Proceedings of the Cambridge Philosophical Society
publication date: 1984-01-01T00:00:00Z
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03F99
Mathematics Subject Classification ID: 18D30
zbMATH DE Number: 3857108
zbMATH Keywords: slice categories
zbMATH Keywords: indexed category
zbMATH Keywords: hyperdoctrine
zbMATH Keywords: type theory
zbMATH Keywords: locally Cartesian closed category
zbMATH Keywords: ML theory
MaRDI profile type: Publication
Wikidata QID: Q56172124
cites work: Q5559220
full work available at URL: s0305004100061284
OpenAlex ID: W2022837260
description: scientific article