Introduction to Higher-Order Categorical Logic¶
Lambek, J., & Scott, P. J. (1986). Introduction to Higher-Order Categorical Logic. Cambridge University Press.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Category
- Workflow and process modelling. Process states as objects and transitions as arrows; the composition of transitions is the workflow's algebra, and consistency requirements on transformations become composition-preservation conditions. Logic. Propositions as objects and proofs as arrows (the proofs-as-programs / Curry–Howard reading), with proof composition as arrow composition.
This sourceEstablishes the propositions-as-objects, proofs-as-arrows reading and the Curry–Howard / categorical-logic correspondence.
- Workflow and process modelling. Process states as objects and transitions as arrows; the composition of transitions is the workflow's algebra, and consistency requirements on transformations become composition-preservation conditions. Logic. Propositions as objects and proofs as arrows (the proofs-as-programs / Curry–Howard reading), with proof composition as arrow composition.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:4e7045492947 · see in the full table