search result

Cover von Internal Strict Propositions Using Point-Free Equations

Internal Strict Propositions Using Point-Free Equations

Year: 2022
Media group: LIPIcs
Cover von Second-Order Generalised Algebraic Theories

Second-Order Generalised Algebraic Theories

Signatures and First-Order Semantics
Year: 2024
Media group: LIPIcs
Cover von Gluing for Type Theory

Gluing for Type Theory

Year: 2019
Media group: LIPIcs
Cover von A Syntax for Higher Inductive-Inductive Types

A Syntax for Higher Inductive-Inductive Types

Year: 2018
Media group: LIPIcs
Cover von Towards a Cubical Type Theory without an Interval

Towards a Cubical Type Theory without an Interval

Year: 2018
Media group: LIPIcs
Cover von Normalisation by Evaluation for Dependent Types

Normalisation by Evaluation for Dependent Types

Year: 2016
Media group: LIPIcs
Cover von The Groupoid-Syntax of Type Theory Is a Set

The Groupoid-Syntax of Type Theory Is a Set

Year: 2026
Media group: LIPIcs
Cover von For the Metatheory of Type Theory, Internal Sconing Is Enough

For the Metatheory of Type Theory, Internal Sconing Is Enough

Year: 2023
Media group: LIPIcs
Cover von For Finitary Induction-Induction, Induction Is Enough

For Finitary Induction-Induction, Induction Is Enough

Year: 2020
Media group: LIPIcs
Cover von A Syntax for Mutual Inductive Families

A Syntax for Mutual Inductive Families

Year: 2020
Media group: LIPIcs
OPEN V 11.1.0.0