Personal information

Activities

Works (7)

Natural numbers from integers

2024-07-08 | Conference paper
Contributors: Christian Sattler; David Wärn
Source: check_circle
Crossref

Two-level type theory and applications

Mathematical Structures in Computer Science
2023-09 | Journal article
Contributors: Danil Annenkov; Paolo Capriotti; Nicolai Kraus; Christian Sattler
Source: check_circle
Crossref

The effective model structure and -groupoid objects

Forum of Mathematics, Sigma
2022 | Journal article
Contributors: Nicola Gambino; Simon Henry; Christian Sattler; Karol Szumiło
Source: check_circle
Crossref

Constructive sheaf models of type theory

Mathematical Structures in Computer Science
2021-10 | Journal article
Contributors: Thierry Coquand; Fabian Ruch; Christian Sattler
Source: check_circle
Crossref

The Frobenius condition, right properness, and uniform fibrations

Journal of Pure and Applied Algebra
2017 | Journal article
Part of ISSN: 0022-4049
Contributors: Nicola Gambino; Christian Sattler
Source: Self-asserted source
Christian Sattler via Crossref Metadata Search
grade
Preferred source (of 2)‎

Higher Homotopies in a Hierarchy of Univalent Universes

ACM Transactions on Computational Logic
2015-04-02 | Journal article
Part of ISSN: 1529-3785
Contributors: Nicolai Kraus; Christian Sattler
Source: Self-asserted source
Christian Sattler via Crossref Metadata Search
grade
Preferred source (of 2)‎

Turing-completeness of polymorphic stream equation systems

Leibniz International Proceedings in Informatics, LIPIcs
2012 | Conference paper
EID:

2-s2.0-84880208565

Contributors: Sattler, C.; Balestrieri, F.
Source: Self-asserted source
Christian Sattler via Scopus - Elsevier