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

What precisely is a synthetic paper?

  • There is an answer here, but it is surprisingly both very precise and very unhelpful. :-) Jun 9 '16 at 11:13
  • 1
    You can generate a synthetic paper here but I think that is equally unhelpful. :-)
    – Peter K.
    Jun 9 '16 at 11:53

The term synthetic can have different meanings. In this context the definition of the word "synthesis" is helpful:

  1. The combining of separate elements or substances to form a coherent whole.
  2. The complex whole so formed.

A synthetic paper is a paper that summarizes results and ideas from various origins to form a (hopefully) coherent statement or conclusion.


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.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.