Nächste Seite:
Eigenschaften des Typsystems
Aufwärts:
Typen
Vorherige Seite:
Inferenz für Let
Applikation und Abstraktion
Applikation:
vergleiche mit
modus ponens
Abstraktion (mit deklariertem Typ der Variablen)
Johannes Waldmann 2012-01-30