Insights from Univalent Foundations: A Case Study Using Double Categories

Thumbnail Image

Files

Primary 317293.pdf (832.26 KB)

Date

2025

Authors

Rasekh, N.
Weide, N.M. Niels
Ahrens, B.
North, P.R.

Journal Title

Journal ISSN

Volume Title

Publisher

Schloss dagstuhl : Dagstuhl Publishing

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/317293

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By