An information system interpretation of Martin-Löf's partial type theory with universes
type: Item
instance of: scholarly article
title: An information system interpretation of Martin-Löf's partial type theory with universes
zbMATH Open document ID: 0789.03045
author: Erik Palmgren
published in: Information and Computation
publication date: 1994-06-14T00:00:00Z
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03B15
zbMATH DE Number: 465563
zbMATH Keywords: Martin-Löf's partial type theory
zbMATH Keywords: fixed point operator
zbMATH Keywords: universes
zbMATH Keywords: domain-theoretic interpretation
zbMATH Keywords: Scott's information systems
zbMATH Keywords: continuous operators
zbMATH Keywords: type universe equations
MaRDI profile type: Publication
full work available at URL: inco.1993.1048
OpenAlex ID: W1992671459
DOI: 10.1006/INCO.1993.1048
description: scientific article; zbMATH DE number 465563