scientific article; zbMATH DE number 3646848

MaRDI QIDQ3205212zbMATH OpenFDO

Authors Gérard Berry, Jean-Jacques Lévy

Publication date 1979

zbMATH Keywords

recursive program schemesuntyped lambda calculusprocedure calls in programming languagessyntactic results

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Specification and verification (program logics, model checking, etc.) (68Q60) Combinatory logic and lambda calculus (03B40) Abstract data types; algebraic specification (68Q65)

Cited in

(1)

• Semantics of algorithmic 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 Q3205212)