On the analogy between propositions and types

Authors:
Thierry Coquand
Affiliations:
-
Venue:
Logical foundations of functional programming
Year:
1990

Citing 0
Cited 2

Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation

Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation

Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract