Hispanopedia Wiki
Articulo de referencia

LEGO (asistente de pruebas)

LEGO es un asistente de pruebas desarrollado por Randy Pollack en la Universidad de Edimburgo . Implementa varias teorías de tipos: el Marco Lógico de Edimburgo (LF), el Cálculo...

Hispanopedia WikiContenido en espanolLectura gratuita

LEGO es un asistente de pruebas desarrollado por Randy Pollack en la Universidad de Edimburgo . Implementa varias teorías de tipos: el Marco Lógico de Edimburgo (LF), el Cálculo de Construcciones (CoC), el Cálculo Generalizado de Construcciones (GCC) y la Teoría Unificada de Tipos Dependientes (UTT). [1]

Referencias

  1. ^ "Búsqueda de software - zbMATH Open". zbmath.org . Consultado el 3 de noviembre de 2022 .
  • Sitio web oficial
  • en
  • a
  • mi
  • en
  • a
  • mi
Obtenido de "https://es.wikipedia.org/w/index.php?title=LEGO_(asistente_de_pruebas)&oldid=1235318769"