scientific article; zbMATH DE number 3566824
From MaRDI portal
Publication:4138713
zbMath0364.02018MaRDI QIDQ4138713
Publication date: 1976
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)
Related Items (12)
Unnamed Item ⋮ A mathematical semantics for a nondeterministic typed lambda-calculus ⋮ The IO- and OI-hierarchies ⋮ Completeness results for the equivalence of recursive schemas ⋮ Computability concepts for programming language semantics ⋮ PASCAL in LCF: Semantics and examples of proof ⋮ LCF considered as a programming language ⋮ A theory of type polymorphism in programming ⋮ On some classes of interpretations ⋮ Program transformations and algebraic semantics ⋮ Expressive power of typed and type-free programming languages ⋮ Concrete domains
Uses Software
This page was built for publication:
