ΒΆ 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 (i.e. is PL-related) or the nLab.
-
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.