ΒΆ 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 drawing commutative diagrams (and possibly even easier than TikZ).
Anyone is welcome to contribute, subject to the following rules:
-
Please write your contributions in Markdown + KaTeX-supported LaTeX. Inline mathematics can be given by enclosing LaTeX in
$signs. Displays are given by using$$. -
Be clear and concise. You do not have to write in Plain English, but you might find some of that mindset helpful.
-
Certain pages with specific kinds of content should be created in certain paths.
- Pages dedicated to the work of particular researchers (e.g. Christopher Strachey, John Reynolds) should go under
people/. - Pages describing general concepts (e.g. bidirectional typing, continuations) should go under
concepts/. - Pages presenting specific systems (e.g. System F, second-order logic) should go under
systems/.
- Please refrain from intimidating other users, and keep discussions civil.
WARNING: If you can't find the verification email, don't forget to check your spam folder!
The content in this wiki is licensed under CC BY 4.0
The contents of the PLS Lab are backed up on a GitHub repository.
The current administrators of the wiki are Alex Kavvos and Amin Timany.