A cartesian closed category in Martin-Löf's intuitionistic type theory
type: Item
instance of: scholarly article
title: A cartesian closed category in Martin-Löf's intuitionistic type theory
zbMATH Open document ID: 1018.68078
DOI: 10.1016/S0304-3975(01)00309-7
author: Silvio Valentini
published in: Theoretical Computer Science
publication date: 2003-01-21T00:00:00Z
Mathematics Subject Classification ID: 68T27
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03B20
zbMATH DE Number: 1857112
zbMATH Keywords: Scott domains
MaRDI profile type: Publication
cites work: Do-it-yourself type theory
cites work: The lambda calculus. Its syntax and semantics. Rev. ed.
cites work: Q4944857
cites work: Q3688389
cites work: Q3999860
cites work: Q3481701
cites work: Q4247310
cites work: Constructive domain theory as a branch of intuitionistic pointfree topology
cites work: Q3959414
cites work: Decidability in Intuitionistic Type Theory is Functionally Decidable
cites work: Q4531082
full work available at URL: s0304-3975(01)00309-7
OpenAlex ID: W1993848174
description: scientific article; zbMATH DE number 1857112