scientific article; zbMATH DE number 683355

MaRDI QIDQ4312475zbMATH OpenFDO

Authors Flemming M. Damm, Bo Stig Hansen

Publication date 29 November 1994

zbMATH Keywords

applicative language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Generalization in type theory based proof assistants
• Proof-assistants using dependent type systems
• A note on typed truth and consistency assertions
• Automatically proving equivalence by type-safe reflection
• Extensional equality preservation and verified generic programming
• Program and proof optimizations with type systems
• scientific article; zbMATH DE number 65530
• Proof of imperative programs in type theory
• A generic normalisation proof for pure type systems

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