Predicative Aspects of Order Theory in Univalent Foundations

DOI10.4230/lipics.fscd.2021.8arXiv2102.08812OpenAlexW3183788908MaRDI QIDQ6159924

Tom J. de Jong, Martín Hötzel Escardó

Publication date: 23 June 2023

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

zbMATH Keywords

order theorypredicativityconstructivityunivalent foundations

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx) Computer science (68-XX)

Related Items (3)

The Scott model of PCF in univalent type theory ⋮ On Small Types in Univalent Foundations ⋮ Apartness, sharp elements, and the Scott topology of domains

This page was built for publication: Predicative Aspects of Order Theory in Univalent Foundations