scientific article; zbMATH DE number 800564

MaRDI QIDQ4849246zbMATH OpenFDO

Authors Simona Motogna

Publication date 25 September 1995

zbMATH Keywords

denotational semanticslambda-calculusspecification

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formalization of the functional programming languages based on lambda calculus
• Formal small-step verification of a call-by-value lambda calculus machine
• Using typed lambda calculus to implement formal systems on a machine
• scientific article; zbMATH DE number 1615235
• Comparing models of the intensional typed -calculus
• scientific article; zbMATH DE number 720178
• A consistent extension of the lambda-calculus as a base for functional programming languages
• Some lambda calculus and type theory formalized
• Formalisation in constructive type theory of Stoughton's substitution for the lambda calculus

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