Paige Randall North | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Benedikt Ahrens
1 publication
Niels van der Weide
1 publication

research

∙ 01/25/2022

Semantics for two-dimensional type theory

In this work, we propose a general notion of model for two-dimensional t...

0 Benedikt Ahrens, et al. ∙

research

∙ 07/27/2018

Towards a directed homotopy type theory

In this paper, we present a directed homotopy type theory for reasoning ...

0 Paige Randall North, et al. ∙

Success!

An error occurred