scientific article; zbMATH DE number 6148924
From MaRDI portal
Publication:4912847
zbMath1267.03034MaRDI QIDQ4912847
Publication date: 27 March 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Combinatory logic and lambda calculus (03B40)
Related Items (16)
Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels ⋮ Nominal SOS ⋮ Comparing flow-based binding-time analyses ⋮ Unnamed Item ⋮ Linear Programs with Conjunctive Database Queries ⋮ Enumerating lambda terms by weighted length of their de Bruijn representation ⋮ A Light Modality for Recursion ⋮ A prismoid framework for languages with resources ⋮ Towards the range property for the lambda theory \(\mathcal H\) ⋮ Generic Authenticated Data Structures, Formally. ⋮ Conflicting accounts of \(\lambda\)-definability ⋮ A Context-based Approach to Proving Termination of Evaluation ⋮ Logical Semantics for Stability ⋮ Recasting ML\(^{\text F}\) ⋮ The lambda-context calculus (extended version) ⋮ Dynamic structural operational semantics
This page was built for publication:
