Perguntas com a marcação «denotational-semantics»

Ao lidar com as categorias teóricas de domínio (como CPO e CPO), frequentemente desejo um dicionário para o idioma da teoria de categorias na teoria de domínios.ωω\omega Ou seja, dado um conceito, digamos seta mônica, eu poderia procurar no dicionário e ver quais são as caracterizações conhecidas dele nas diferentes …

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

Li as partes introdutórias de alguns livros sobre semântica da linguagem de programação (Gordon, Winskel, Nielson & Nielson, Allison, Stump, Schmidt) e, embora compreenda o que eles querem dizer com categorias sintáticas ou domínios sintáticos , não entendi. não encontre uma definição rigorosa e direta deles. Existe uma definição padrão, …

8 semantics  denotational-semantics  definitions 

Existe alguma semântica categórica para lógicas não monotônicas? Parece que a resposta simples para isso é "Não", pois a noção óbvia de composição falha em qualquer modelo de lógica não monotônica. Mas existe um modelo que realmente funcione com uma noção de composição adequadamente definida?

8 ct.category-theory  semantics  denotational-semantics