Zum Inhalt springen
Durchsuchen
Bereiche & Kollektionen
Support
header.fontsize.current header.fontsize.undefined
de
en
Anmelden
Im Repositorium anmelden
E-Mail-Adresse
Passwort
Anmelden
Neu hier? Klicken Sie hier, um sich zu registrieren.
Haben Sie Ihr Passwort vergessen?
Mit OIDC anmelden
Mit ORCID anmelden
Personen
Publikationen
Projekte
Organisationseinheiten
Abschlussarbeiten
Open Access
Theses
Master Theses
Linear Type Systems: What Are They, and How Are They Used in Programming Languages
Einfache Daten
Vollständige Metadaten
Statistiken
Einfache Daten
Vollständige Metadaten
Statistiken
Linear Type Systems: What Are They, and How Are They Used in Programming Languages
Datum
2025
master_thesis
APA
Chicago
Harvard
ISO-690
AIP
IEEE
Exportieren
APA
Chicago
Harvard
ISO-690
AIP
IEEE
Exportieren
Zitat wurde kopiert
Lischer, O. (2025). Linear Type Systems: What Are They, and How Are They Used in Programming Languages. https://orix.ost.ch/handle/item/20237
Kopie
Zusätzliche Indizierung
Autor / Autor:in
Lischer, Olivier
In Sammlungen
Master Theses
Metriken
Dateien zum Herunterladen
Lade...
Lade...
Herunterladen
PDF
1
Dateigröße
460.14 KB
Lizenzbestimmung:
Andere
Änderung oder Korrektur vorschlagen