1. About
  2. Features
  3. Explore

The Wikipedia page for “Curry–Howard correspondence” has a section on ”Synthetic papers”.

What precisely is a synthetic paper?

1 Answer 1

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.