search result

Cover von The ∞-Category of ∞-Categories in Simplicial Type Theory

The ∞-Category of ∞-Categories in Simplicial Type Theory

Year: 2026
Media group: LIPIcs
Cover von A Stratified Approach to Löb Induction

A Stratified Approach to Löb Induction

Year: 2022
Media group: LIPIcs
Cover von Towards Univalent Reference Types

Towards Univalent Reference Types

The Impact of Univalence on Denotational Semantics
Year: 2024
Media group: LIPIcs
Cover von {mitten}

{mitten}

A Flexible Multimodal Proof Assistant
Year: 2023
Media group: LIPIcs
Cover von Cubical Syntax for Reflection-Free Extensional Equality

Cubical Syntax for Reflection-Free Extensional Equality

Year: 2019
Media group: LIPIcs
OPEN V 11.1.0.0