scientific article; zbMATH DE number 3854393

MaRDI QIDQ3323248zbMATH OpenFDO

Authors V. N. Domrachev, Yu. V. Kapitonova, L. G. Samoĭlenko

Publication date 1982

zbMATH Keywords

programming language semanticstype schematatyped lambda-calculus

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Combinatory logic and lambda calculus (03B40) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• One method of defining the semantics of programming language constructs in terms of lambda calculus. II
• scientific article; zbMATH DE number 512879
• A semantic characterization of the well-typed formulae of \(\lambda\)- calculus
• Semantics of typed lambda-calculus with constructors
• Term-space semantics of typed lambda calculus
• Semantics of a typed algebraic lambda-calculus
• Typed λ-calculus with recursive definitions
• From semantics to types: the case of the imperative \(\lambda\)-calculus
• The λ-calculus with constructors: Syntax, confluence and separation
• scientific article; zbMATH DE number 2185726

Cited in

(18)

• Semantics of a declarative language
• Formalization of the semantics of the language Refal
• Definitional interpreters revisited
• Induction, domains, calculi: Strachey's contributions to programming-language engineering
• A mathematical approximation of data types.
• The language of calculus of computable predicates as a minimal kernel for functional languages
• The essence of functional programming on semantic data
• scientific article; zbMATH DE number 2185661 (Why is no real title available?)
• Denotational semantics of mixed computation processes for a structural programming language
• A calculus for language transformations
• A proposal for comparison of types in Pascal and associated semantic models
• scientific article; zbMATH DE number 3913660 (Why is no real title available?)
• scientific article; zbMATH DE number 3928341 (Why is no real title available?)
• One method of defining the semantics of programming language constructs in terms of lambda calculus. II
• Typed representation of objects by functions
• scientific article; zbMATH DE number 2012402 (Why is no real title available?)
• Semantics of propositional attitudes in type-theory of algorithms
• Expressive power of typed and type-free programming languages

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