scientific article; zbMATH DE number 3646848

zbMATH Open0416.03016MaRDI QIDQ3205212FDOQ3205212

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

Publication date: 1979

Title of this publication is not available (Why is that?)

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)