Towards an Implementation in LambdaProlog of the Two Level Minimalist Foundation (short paper)