InjectiveTypes

MaRDI QIDQ56208swMATHFDO

Official website https://arxiv.org/abs/1903.01211

Source code repository https://github.com/martinescardo/TypeTopology/blob/master/source/InjectiveTypes.lagda

Described by source

• Injective types in univalent mathematics

This page was built for software: InjectiveTypes