The Martin-Löf Logical Framework