Publication:3823124

zbMath0669.68012MaRDI QIDQ3823124

Grant Malcolm, Paul Chisholm, Roland C. Backhouse

Publication date: 1988

zbMATH Keywords

loop invariants; inductive proof; majority-vote problem; Martin-Löf's types

Mathematics Subject Classification ID

68N01: General topics in the theory of software

03B99: General logic

03B40: Combinatory logic and lambda calculus

68W99: Algorithms in computer science

68Q99: Theory of computing

Related Items

Innovations in computational type theory using Nuprl