scientific article; zbMATH DE number 709368
From MaRDI portal
Publication:4318862
zbMath0834.68004MaRDI QIDQ4318862
Publication date: 11 January 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Combinatory logic and lambda calculus (03B40)
Related Items (4)
A categorical interpretation of Landin's correspondence principle ⋮ Typed generic traversal with term rewriting strategies ⋮ Towards a unified model of search in theorem-proving: subgoal-reduction strategies ⋮ ON FORMAL AND COGNITIVE SEMANTICS FOR SEMANTIC COMPUTING
This page was built for publication:
