Biblioteca122.294 documentos en línea

Artículo

On -DomainsEn - Dominios

Resumen

Introducimos un nuevo dominio de construcción y demostramos que la categoría con -dominios como objetos y funciones continuas de Scott como morfismos es una categoría cerrada cartesiana. Obtenemos que el dominio de potencia de Plotkin sobre un -dominio es un -dominio.

  • Tipo de documento:
  • Formato:pdf
  • Idioma:Inglés
  • Tamaño: Kb

Cómo citar el documento

Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.

Este contenido no est� disponible para su tipo de suscripci�n

Información del documento