Preguntas etiquetadas con denotational-semantics

Al tratar con las categorías teóricas de dominio (por ejemplo, CPO y CPO), con frecuencia deseo un diccionario para el lenguaje de la teoría de categorías en la teoría de dominios.ωω\omega Es decir, dado un concepto, digamos flecha mónica, podría buscarlo en el diccionario y ver cuáles son sus caracterizaciones …

10 ct.category-theory  semantics  denotational-semantics  domain-theory 

He leído las partes introductorias de un par de libros sobre semántica del lenguaje de programación (Gordon, Winskel, Nielson & Nielson, Allison, Stump, Schmidt), y si bien entiendo lo que significan por categorías sintácticas o dominios sintácticos , no entendí No encuentre una definición rigurosa y directa de esos. ¿Existe …

8 semantics  denotational-semantics  definitions 

¿Hay alguna semántica categórica para las lógicas no monotónicas? Parece que la respuesta simple a esto es "No" ya que la noción obvia de composición falla para cualquier modelo de lógica no monotónica. Pero, ¿hay un modelo que realmente funcione con una noción de composición adecuadamente definida?

8 ct.category-theory  semantics  denotational-semantics