Inductive construction of repletion
type: Item
instance of: scholarly article
title: Inductive construction of repletion
zbMATH Open document ID: 0933.03032
DOI: 10.1023/A:1008604622568
author: Thomas Streicher
published in: Applied Categorical Structures
publication date: 1999-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03F50
zbMATH DE Number: 1347954
zbMATH Keywords: synthetic domain theory
zbMATH Keywords: inductive definitions
zbMATH Keywords: denotational semantics
zbMATH Keywords: constructive type theory
zbMATH Keywords: repletion
zbMATH Keywords: constructive logic
zbMATH Keywords: predomain
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1347954