Computational adequacy for recursive types in models of intuitionistic set theory
type: Item
instance of: scholarly article
title: Computational adequacy for recursive types in models of intuitionistic set theory
zbMATH Open document ID: 1056.03015
published in: Annals of Pure and Applied Logic
publication date: 2004-11-18T00:00:00Z
full work available at URL: cartinmist.pdf
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03E70
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 18B25
zbMATH DE Number: 2116240
zbMATH Keywords: Domain theory
zbMATH Keywords: Algebraic compactness
zbMATH Keywords: FPC
zbMATH Keywords: interpretation of recursive types
zbMATH Keywords: categorical models of intuitionistic set theory
zbMATH Keywords: recursively typed lambda-calculus
author: Alex Simpson
MaRDI profile type: Publication
OpenAlex ID: W2094544397
cites work: Q3937387
cites work: Axiomatic Domain Theory in Categories of Partial Maps
cites work: Q4362914
cites work: Domains in \(H\)
cites work: Q3978971
cites work: Q3138538
cites work: Extensional PERs
cites work: Q3773876
cites work: Q3671978
cites work: Q3978973
cites work: Tripos theory
cites work: Semantics of weakening and contraction
cites work: Categorical logic and type theory
cites work: A presentation of the initial lift-algebra
cites work: Q4853985
cites work: Q3727946
cites work: A uniform approach to domain theory in realizability models
cites work: Q4296744
cites work: Sheaves in geometry and logic: a first introduction to topos theory
cites work: Q4231031
cites work: Building domains from graph models
cites work: From term models to domains
cites work: Relational properties of domains
cites work: LCF considered as a programming language
cites work: Q3657409
cites work: General synthetic domain theory – a logical approach
cites work: Q4263806
cites work: The Category-Theoretic Solution of Recursive Domain Equations
cites work: Q4243759
cites work: Axioms and (counter)examples in synthetic domain theory
DOI: 10.1016/J.APAL.2003.12.005
description: scientific article; zbMATH DE number 2116240