scientific article; zbMATH DE number 7577584

MaRDI QIDQ5101353

Andrej Bauer

Publication date: 30 August 2022

Full work available at URL: https://arxiv.org/abs/2106.01734

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Related Items (2)

Reduction games, provability and compactness ⋮ Lawvere-Tierney topologies for computability theorists

Cites Work

• Realizability. An introduction to its categorical side
• Sheaves in geometry and logic: a first introduction to topos theory
• Power domains
• Weihrauch degrees, omniscience principles and weak computability
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: