Inferenzsystem für Typen (Semantik)

hierbei (vorläufige) Design-Entscheidungen:



Johannes Waldmann 2011-01-23