DE eng

Search in the Catalogues and Directories

Hits 1 – 5 of 5

1
Type-shifting: four categories
In: https://hal.archives-ouvertes.fr/hal-01728738 ; 2018 (2018)
BASE
Show details
2
Copredication in homotopy type theory
In: https://hal.archives-ouvertes.fr/hal-01628150 ; 2017 (2017)
BASE
Show details
3
Copredication In Homotopy Type Theory ...
Bahramian, Hamidreza. - : Zenodo, 2017
BASE
Show details
4
Copredication In Homotopy Type Theory ...
Bahramian, Hamidreza. - : Zenodo, 2017
BASE
Show details
5
Copredication In Homotopy Type Theory ...
Bahramian, Hamidreza. - : Zenodo, 2017
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
5
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern