ΒΆ Programming, Logic and Semantics Lab
This is a wiki devoted to the intersection between
- the theory and implementation of programming languages,
- their relationship to mathematical and computational logic, and
- the interpretation of both of the above in semantic structures
Like the nLab, the point of this exercise is not to write textbook presentations of material, but to record sharp intuitions and bibliographic references. Doing so in public makes them available to everyone trying to navigate our research areas.
This page is built on Wiki.js, with mathematics support provided by KaTeX. The built-in diagram editor is perfectly capable of dealing with commutative diagrams.
Anyone is welcome to contribute, subject to the following rules:
-
Please write your contributions in Markdown and KaTeX-supported LaTeX. Inline mathematics can be given by enclosing LaTeX in
$signs. Displays are produced by$$. -
Be clear and concise. You do not have to write in Plain English, but you might find some of that mindset helpful.
-
Do not repeat content from the nLab. Before discussing category theory consider carefully whether that content belongs here or the nLab. In the latter case, please contribute to the nLab, and link to the relevant pages.
-
Put terms that are being defined in bold (surround them with
**) and emphasise words with italics (surround them with_). -
Please refrain from intimidating other users, and keep discussions civil.
If you can't find the verification email when you sign up, don't forget to check your spam folder! If that fails, contact Alex Kavvos.
The content in this wiki is licensed under CC BY 4.0
The current administrators of the wiki are Alex Kavvos and Amin Timany.