Column - Semantics: Teaching denotational sematics

Research output: Contribution to journal › Comment/debate

Authors

Colleges, School and Institutes

Details

Original languageEnglish
Pages (from-to)25-37
JournalACM SIGLOG News
Volume1
Issue number2
Publication statusPublished - 1 Oct 2014
Save citation Saved citations (0)

Copy the text from this field...

View graph of relations

Documents

  • p27-jung

    Final published version, 295 KB, PDF document

DOI

By the same authors

A dichotomy result for locally compact sober dcpos

Achim Jung, 30 Nov 2019, In: Houston Journal of Mathematics. 45, 3, p. 935-951

Research output: Contribution to journal › Article › peer-review

Non-involutive twist-structures

Achim Jung, 29 Nov 2018, In: Interest Group in Pure and Applied Logics. Logic Journal. 27 p., jzy070.

Research output: Contribution to journal › Article › peer-review

From the Chinese room argument to the Church-Turing thesis

Achim Jung, 6 Apr 2018, Proceedings of AISB Annual Convention 2018: Philosohphy after AI: mind, language and action Symposium. Society for the Study of Artificial Intelligence and Simulation of Behaviour (AISB), p. 25-29 5 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

The Ho-Zhao problem

Achim Jung, 17 Jan 2018, In: Logical Methods in Computer Science. 14, 1, 19 p., 7.

Research output: Contribution to journal › Article › peer-review