Hochschulschrift

Polarized higher-order subtyping

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
21 cm
Umfang
VI, 252 S.
Sprache
Englisch
Anmerkungen
Erlangen, Nürnberg, Univ., Diss., 1998

Schlagwort
Objektorientierte Programmiersprache
Typisierter Lambda-Kalkül
Untertyp

Urheber

Inhaltsverzeichnis
Rechteinformation
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Letzte Aktualisierung
11.06.2025, 14:16 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

Ähnliche Objekte (12)

Higher-order constraint logic programming

Hochschulschrift

Higher-order constraint logic programming

Higher-Order Tableaux

Higher-Order Tableaux

Higher-order computability

Higher-order computability

Event structures with higher-order dynamics

Hochschulschrift

Event structures with higher-order dynamics

Higher-order correlations in complex liquids

Hochschulschrift

Higher-order correlations in complex liquids

Event structures with higher-order dynamics

Hochschulschrift

Event structures with higher-order dynamics

Higher-Order Order-Sorted Resolution

Higher-Order Order-Sorted Resolution

Higher-Order Predictions for Supersymmetric Particle Decays

Hochschulschrift

Higher-Order Predictions for Supersymmetric Particle Decays

Higher-order predictions for supersymmetric particle decays

Hochschulschrift

Higher-order predictions for supersymmetric particle decays

Higher-Order Corrections in Extended Higgs Sectors

Hochschulschrift

Higher-Order Corrections in Extended Higgs Sectors

Topos semantics for higher-order modal logic

Hochschulschrift

Topos semantics for higher-order modal logic

Some contributions to higher-order Reverse Mathematics

Hochschulschrift

Some contributions to higher-order Reverse Mathematics

Verbundene Objekte