Computational adequacy for recursive types in models of intuitionistic set theory (Q1886324): Difference between revisions

@@ Property / author @@
+Alex K. Simpson
@@ Property / author: Alex K. Simpson / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2094544397
@@ Property / OpenAlex ID: W2094544397 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3937387
@@ Property / cites work: Q3937387 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic Domain Theory in Categories of Partial Maps
+Normal rank
@@ Property / cites work @@
+Q4362914
@@ Property / cites work: Q4362914 / rank @@
+Normal rank
@@ Property / cites work @@
+Domains in \(H\)
@@ Property / cites work: Domains in \(H\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978971
@@ Property / cites work: Q3978971 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138538
@@ Property / cites work: Q3138538 / rank @@
+Normal rank
@@ Property / cites work @@
+Extensional PERs
@@ Property / cites work: Extensional PERs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773876
@@ Property / cites work: Q3773876 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3671978
@@ Property / cites work: Q3671978 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978973
@@ Property / cites work: Q3978973 / rank @@
+Normal rank
@@ Property / cites work @@
+Tripos theory
@@ Property / cites work: Tripos theory / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of weakening and contraction
@@ Property / cites work: Semantics of weakening and contraction / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+A presentation of the initial lift-algebra
@@ Property / cites work: A presentation of the initial lift-algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4853985
@@ Property / cites work: Q4853985 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform approach to domain theory in realizability models
+Normal rank
@@ Property / cites work @@
+Q4296744
@@ Property / cites work: Q4296744 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Q4231031
@@ Property / cites work: Q4231031 / rank @@
+Normal rank
@@ Property / cites work @@
+Building domains from graph models
@@ Property / cites work: Building domains from graph models / rank @@
+Normal rank
@@ Property / cites work @@
+From term models to domains
@@ Property / cites work: From term models to domains / rank @@
+Normal rank
@@ Property / cites work @@
+Relational properties of domains
@@ Property / cites work: Relational properties of domains / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Q3657409
@@ Property / cites work: Q3657409 / rank @@
+Normal rank
@@ Property / cites work @@
+General synthetic domain theory – a logical approach
+Normal rank
@@ Property / cites work @@
+Q4263806
@@ Property / cites work: Q4263806 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational adequacy for recursive types in models of intuitionistic set theory
+Normal rank
@@ Property / cites work @@
+The Category-Theoretic Solution of Recursive Domain Equations
+Normal rank
@@ Property / cites work @@
+Q4243759
@@ Property / cites work: Q4243759 / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms and (counter)examples in synthetic domain theory
+Normal rank