scientific article; zbMATH DE number 3795950

zbMATH Open0505.03027MaRDI QIDQ4740562FDOQ4740562

Authors: Robert Constable 

Publication date: 1982

Title of this publication is not available (Why is that?)

zbMATH Keywords

type theoryprogram verificationrecursive functionstype checkingconstructivityprogramming logicsHeyting arithmeticintuitionistic predicate calculusautomated logic

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Metamathematics of constructive systems (03F50) Inductive definability (03D70)

Cited In (1)

• A logic covering undefinedness in program proofs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4740562)