Constructive type theory: a perspective from computing science

Authors:
R. C. Backhouse
Affiliations:
-
Venue:
Formal development programs and proofs
Year:
1989

Citing 0
Cited 1

Toward special-purpose program verification

Conference proceedings on Formal methods in software development

Quantified Score

Hi-index	0.00

Visualization

Abstract