Games, Full Abstraction and Full Completeness

[New Entry by Felice Cardone on January 12, 2017.] Computer programs are particular kinds of texts. It is therefore natural to ask what is the meaning of a program or, more generally, how can we
Philosophy News image
[New Entry by Felice Cardone on January 12, 2017.] Computer programs are particular kinds of texts. It is therefore natural to ask what is the meaning of a program or, more generally, how can we set up a formal semantical account of a programming language. There are many possible answers to such questions, each motivated by some particular aspect of programs. So, for instance, the fact that...

Continue reading . . .

News source: Stanford Encyclopedia of Philosophy

blog comments powered by Disqus