Extensional \(\Sigma\)-spaces in type theory

DOI10.1023/A:1008600521659zbMath0933.03030OpenAlexW1530283198MaRDI QIDQ1306715

Bernhard Reus

Publication date: 1999

Published in: Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008600521659

zbMATH Keywords

denotational semanticstype theoryadmissibilityconstructive logicrealizability modelSynthetic Domain Theory

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Metamathematics of constructive systems (03F50)

Related Items (1)

A synthetic theory of sequential domains

This page was built for publication: Extensional \(\Sigma\)-spaces in type theory