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

Non-involutive twist-structures

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

Research output: Contribution to journal › Article

From the Chinese room argument to the Church-Turing thesis

Petters, D. & 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

A dichotomy result for locally compact sober dcpos

Jia, X., Achim Jung & Li, Q., 9 Feb 2018, (Accepted/In press) In : Houston Journal of Mathematics. 15 p.

Research output: Contribution to journal › Article

The Ho Zhao Problem

Ho, W. K., Goubault-Larrecq, J., Achim Jung & Xi, X., 17 Jan 2018, In : Logical Methods in Computer Science. 14, 1, 19 p., 7.

Research output: Contribution to journal › Article