Skip to Main Content

Home Categories

Quiz Builder

Free quiz building from a large question library, with custom questions and first-party online play.

Pro

AI quiz building, image questions, private quizzes, and advanced export workflows for serious creators.

API

Authenticated API access for builders creating their own quiz apps, workflows, and integrations.

Color scheme

© QuestionStock

Library snapshot4,089 questions30 categories

All systems operational

Categories Features Quiz Builder Pro API

About Pricing Quizzes Support Contact

Status API docs Terms Privacy

The Curry–Howard correspondence is a foundational connect... | QuestionStock

Representative image for question: The Curry–Howard correspondence is a foundational connection between which two concepts in logic and computer science?

Categories
Logic

The Curry–Howard correspondence is a foundational connection between which two concepts in logic and computer science?

Medium

Create a free account to see more questions and build your own quiz.

The Curry–Howard correspondence is a foundational connection between which two concepts in logic and computer science?

Options:

Models and theories
Proofs and programs (formulas as types)
Syntax and semantics
Sets and categories

Correct answer: Proofs and programs (formulas as types)

Explanation: Curry–Howard identifies proofs with programs and propositions with types; William A. Howard popularized the 'formulas-as-types' view in 1969.

Created 2026-03-10T18:53:23.280Z. Updated 2026-03-10T18:53:23.280Z.