InjectiveTypes

swMATH40508MaRDI QIDQ56208FDOQ56208

Author name not available (Why is that?)

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