type theory - Turkish English Dictionary