What is an “synthetic paper” The Wikipedia page for “Curry–Howard correspondence” has a section on ”Synthetic papers”.

What precisely is a synthetic paper?
Synthetic papers are sort of critical reviews that describe important concepts in, often, multidisciplinary fields. These papers are often structured and written in a (slightly) different way than typical reviews (or normal papers).

For example, the synthetic papers in your post describe important concepts that link together mathematics, logic, and computation.