Constructive domain theory as a branch of intuitionistic pointfree topology
type: Item
instance of: scholarly article
title: Constructive domain theory as a branch of intuitionistic pointfree topology
zbMATH Open document ID: 0871.68063
DOI: 10.1016/0304-3975(95)00169-7
author: Giovanni Sambin
author: Silvio Valentini
author: Paolo Virgili
published in: Theoretical Computer Science
publication date: 1997-02-27T00:00:00Z
Mathematics Subject Classification ID: 68P05
zbMATH DE Number: 984043
MaRDI profile type: Publication
full work available at URL: 0304-3975(95)00169-7
OpenAlex ID: W1970510519
cites work: The lambda calculus, its syntax and semantics
cites work: Q3688389
cites work: Q3481701
cites work: Q4247310
cites work: Q3960746
cites work: Q3959414
description: scientific article; zbMATH DE number 984043