type theory - Spanisch Englisch Wörterbuch