Peter Dybjer. Program Verification in a Logical Theory of Constructions. In Functional Programming Languages and Computer Architecture. Volume 201 of Lecture Notes in Computer Science, pages 334-349, Springer-Verlag, Nancy, France, 1985.
@inproceedings{Dybjer85:1,
title = {Program Verification in a Logical Theory of Constructions},
author = {Peter Dybjer},
year = {1985},
tags = {program verification},
researchr = {https://researchr.org/publication/Dybjer85%3A1},
cites = {0},
citedby = {0},
pages = {334-349},
booktitle = {Functional Programming Languages and Computer Architecture},
volume = {201},
series = {Lecture Notes in Computer Science},
address = {Nancy, France},
publisher = {Springer-Verlag},
}