scientific article
zbMath0416.03016MaRDI QIDQ3205212
Jean-Jacques Levy, Gérard Berry
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
recursive program schemesuntyped lambda calculusprocedure calls in programming languagessyntactic results
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)
Related Items (1)
This page was built for publication:
