POLYMORPHIC TYPE THEORY AS A BASE FOR CATEGORICAL LOGIC

Valerie, NOVITZKÁ; Daniel, MIHÁLYI

Angol nyelvű Tudományos Szakcikk (Folyóiratcikk)
    Azonosítók
    • MTMT: 23293073
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2021-05-12 22:27