Realisierung mit Constraints

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

wobei



Johannes Waldmann 2014-03-31