scientific article; zbMATH DE number 7243674

MaRDI QIDQ5119392

Jaap van Oosten, Tom J. de Jong

Publication date: 4 September 2020

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

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

Mathematics Subject Classification ID

Categorical logic, topoi (03G30)

Cites Work

• Topological and Simplicial Models of Identity Types
• A homotopy-theoretic model of function extensionality in the effective topos
• The Discrete Objects in the Effective Topos
• Data Types as Lattices
• Building domains from graph models
• A uniform approach to domain theory in realizability models
• A notion of homotopy for the effective topos

This page was built for publication: