Pertanyaan yang diberi tag «denotational-semantics»

Ketika berurusan dengan kategori teori domain (katakanlah CPO dan CPO), saya sering berharap untuk kamus untuk bahasa teori kategori dalam teori domain.ωω\omega Artinya, diberikan konsep, katakan panah monic, saya bisa mencarinya di kamus dan melihat apa karakterisasi yang diketahui dalam kategori domain yang berbeda. Saya menyadari keinginan ini terlalu banyak …

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

Saya telah membaca bagian pengantar dari beberapa buku tentang semantik bahasa pemrograman (Gordon, Winskel, Nielson & Nielson, Allison, Stump, Schmidt), dan sementara saya mengerti apa yang dimaksud dengan kategori sintaksis , atau domain sintaksis , saya tidak t menemukan definisi yang tegas dan langsung dari mereka. Apakah ada definisi standar, …

8 semantics  denotational-semantics  definitions 

Apakah ada semantik kategoris untuk logika non-monotonik? Tampaknya jawaban sederhana untuk ini adalah "Tidak" karena gagasan jelas tentang komposisi gagal untuk model logika non-monotonik apa pun. Tetapi apakah ada model yang benar-benar berfungsi dengan gagasan komposisi yang didefinisikan dengan tepat?

8 ct.category-theory  semantics  denotational-semantics