Christian Sattler

Available identifiers

zbMath Open sattler.christianMaRDI QIDQ2013547

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christian Sattler