scientific article; zbMATH DE number 3795950

From MaRDI portal

Publication:4740562

Jump to:navigation, search

zbMath0505.03027MaRDI QIDQ4740562

Robert L. Constable

Publication date: 1982

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Heyting arithmetic type theory recursive functions program verification type checking constructivity programming logics intuitionistic predicate calculus automated logic

Mathematics Subject Classification ID

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

Related Items (1)

A logic covering undefinedness in program proofs

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4740562&oldid=18997300"