Back to Results
First PageMeta Content
Software engineering / Semantics / Logic in computer science / Deduction / Geometric group theory / Twelf / Entailment / Type safety / Type system / Logic / Type theory / Abstract algebra


Document Date: 2007-01-19 11:14:01

Open Document

File Size: 217,92 KB

Share Result on Facebook
UPDATE