7
Anlamsal anlambilim nedir?
Bir günü farklı bir iş parçacığı , Andrej Bauer denotasyonel semantiğini olarak tanımlanır: Bir programın anlamı, parçalarının anlamlarının bir fonksiyonudur. Beni bu tanımdan rahatsız eden şey, yaygın olarak kasten çıkmayan anlambilim, yani yapısal operasyonel anlambilim olarak düşünülen şeyden, kimi anlamsal anlambilim olarak düşünülen şeyleri ortaya çıkarmamış gibi görünmesidir . Daha …