Program verification in a logical theory of construction

Authors:
Peter Dybjer
Affiliations:
Programming Methodology Group, Go¨teborg, Sweden
Venue:
Proc. of a conference on Functional programming languages and computer architecture
Year:
1985

Constructing recursion operators in intuitionistic type theory

Journal of Symbolic Computation
Fast and loose reasoning is morally correct

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Embedding a logical theory of constructions in Agda

Proceedings of the 3rd workshop on Programming languages meets program verification
Combining interactive and automatic reasoning in first order theories of functional programs

FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures

Hi-index	0.01