Realisierung mit Constraints

Inferenz für Aussagen der Form E $ \vdash$ X : (T, C)

wobei



Johannes Waldmann 2011-01-23