scientific article; zbMATH DE number 1497740

zbMath0959.03504MaRDI QIDQ4499150

Dana S. Scott, Steven Awodey, Lars Birkedal

Publication date: 6 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Topoi (18B25)

Related Items (4)

Sheaf toposes for realizability ⋮ Brouwer's fixed-point theorem in real-cohesive homotopy type theory ⋮ Introduction to Turing categories ⋮ Relative and modified relative realizability

This page was built for publication: