Daniel Gratzer

From MaRDI portal
Person:5072608

Available identifiers

zbMath Open gratzer.danielMaRDI QIDQ5072608

List of research outcomes





PublicationDate of PublicationType
Normalization for multimodal type theory2024-12-06Paper
{mitten}: a flexible multimodal proof assistant2024-11-26Paper
A stratified approach to Löb induction2024-05-27Paper
UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC2023-08-10Paper
https://portal.mardi4nfdi.de/entity/Q50941282022-08-02Paper
https://portal.mardi4nfdi.de/entity/Q50890342022-07-18Paper
Modalities and Parametric Adjoints2022-04-29Paper
Strict universes for Grothendieck topoi2022-02-24Paper
The directed plump ordering2022-02-15Paper
https://portal.mardi4nfdi.de/entity/Q51556722021-10-08Paper
Multimodal Dependent Type Theory2021-01-21Paper
A Cubical Language for Bishop Sets2020-03-03Paper
Cubical Syntax for Reflection-Free Extensional Equality2019-04-17Paper
The Category of Iterative Sets in Homotopy Type Theory and Univalent FoundationsN/APaper

Research outcomes over time

This page was built for person: Daniel Gratzer

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:5072608&oldid=11347939"
Powered by MediaWiki