Publication:3728878
From MaRDI portal
zbMath0597.03009MaRDI QIDQ3728878
Publication date: 1985
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
68Q55: Semantics in the theory of computing
68Q65: Abstract data types; algebraic specification
03B40: Combinatory logic and lambda calculus
Related Items
Explicit substitutions, How to normalize the Jay, A note on the notation of recursion in process algebras, A completeness result for a realisability semantics for an intersection type system, Existential foundations of the composition paradigm, Unsolvable algorithmic problems for semigroups, groups and rings, Enlargements of functional algebras for the lambda calculus, How to decide the lark, A finite equational axiomatization of the functional algebras for the lambda calculus, Composition structure of programmology, Some examples of non-existent combinators, A fuzzy language., On the algebraic models of lambda calculus, Foundations of programmology, On finitely presented and free algebras of Cantor varieties, A typed resolution principle for deduction with conditional typing theory, The abstract variable-binding calculus, Programmological aspects of the fixed point method, Fixed points and closure operators: Programmological aspects, Multiple data structuring, Descriptological foundations of information technologies, Genericity and the \(\pi\)-calculus