Isso é uma confusão de referência. Às vezes, vejo as pessoas usarem o termo "metalinguagem computacional de Moggi" para se referir ao cálculo apresentado por Moggi e, às vezes, ao "cálculo lambda computacional de Moggi". Às vezes eles usam e às vezes .
Eu sempre presumi que ambos são a mesma coisa, mas lendo o resumo de uma palestra de Katsumata e Moegelberg, diz :
mostramos a plenitude da tradução monádica de Moggi do cálculo lambda computacional com somas para a metalinguagem computacional com somas usando o operador de levantamento e fechamento de TT.
Essas línguas não são a mesma coisa? Onde eles são introduzidos especificamente com esses nomes? Parece que Moggi às vezes fala sobre modelo para o que ele chama de uma metalinguagem, mas, em seguida, em outro papel, ele fala sobre o cálculo lambda computacional.