scientific article; zbMATH DE number 1927428

MaRDI QIDQ4484346zbMATH OpenFDO

Authors Aleksey Nogin, Jason Hickey

Publication date 12 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2410/24100281.htm

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Program development schemata as derived rules
• Uniform schemata for proof rules
• Rule-Generation Theorem and its Applications
• scientific article; zbMATH DE number 6938205
• Reasoning on schemata of formulæ

Cited in

(3)

• Formalizing type operations using the ``image type constructor
• Uniform schemata for proof rules
• Formal compiler construction in a logical framework

Describes a project that uses

Uses Software

• MetaPRL

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 Q4484346)