Typentheorie undTypentheorie undGruppoide erklärtintensionaler Typentheorie.Die Überprüfung der Realisierbarkeit inLogik in der InformatikIntentionale Typentheorie und Gruppenoidale RealisierbarkeitEine Erkundung der Typentheorie durch Realisierbarkeit und Grupoid.2025-07-22T05:21:33+00:00 ― 8 min Lesedauer