Christian Sattler

Available identifiers

zbMath Open sattler.christianMaRDI QIDQ2013547

List of research outcomes

Publication	Date of Publication	Type
For the metatheory of type theory, internal sconing is enough	2024-10-21	Paper
Cubical models of \((\infty, 1)\)-categories	2024-09-13	Paper
Two-level type theory and applications	2024-03-05	Paper
Two-level type theory and applications - ERRATUM	2024-03-05	Paper
For the Metatheory of Type Theory, Internal Sconing Is Enough	2023-02-10	Paper
The Constructive Kan–Quillen Model Structure: Two New Proofs	2023-01-19	Paper
Relative elegance and cartesian cubes with one connection	2022-11-27	Paper
https://portal.mardi4nfdi.de/entity/Q5089011	2022-07-18	Paper
Pointers in Recursion: Exploring the Tropics	2022-07-18	Paper
Constructive sheaf models of type theory	2022-06-24	Paper
The effective model structure and -groupoid objects	2022-06-13	Paper
Canonicity and homotopy canonicity for cubical type theory	2022-02-09	Paper
Constructing a universe for the setoid model	2021-10-18	Paper
Partial Univalence in n-truncated Type Theory	2021-01-21	Paper
Turing-Completeness of Polymorphic Stream Equation Systems	2020-05-27	Paper
Cubical models of $(\infty, 1)$-categories	2020-05-10	Paper
The constructive Kan-Quillen model structure: two new proofs	2019-07-11	Paper
Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus	2019-02-16	Paper
Constructive homotopy theory of marked semisimplicial sets	2018-09-28	Paper
Idempotent completion of cubes in posets	2018-05-10	Paper
The Frobenius condition, right properness, and uniform fibrations	2017-08-08	Paper
The Equivalence Extension Property and Model Structures	2017-04-23	Paper
Space-Valued Diagrams, Type-Theoretically (Extended Abstract)	2017-04-14	Paper
Higher Homotopies in a Hierarchy of Univalent Universes	2017-01-27	Paper
Spatial and spatio-temporal reaction-diffusion patterns in heterogeneous media	1993-11-08	Paper

Research outcomes over time

This page was built for person: Christian Sattler