scientific article

zbMath0701.03007MaRDI QIDQ3478384

Solomon Feferman

Publication date: 1990

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

polymorphismuntyped \(\lambda\)-calculusfunctional programming languagesaxiomatic theory of operations and classespolymorphic typed \(\lambda\)-calculus

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)

Related Items

Formalizing non-termination of recursive programs, Herbrand analyses, A first order logic of effects, Theories with self-application and computational complexity., Between constructive mathematics and PROLOG, A theory for program and data type specification, Explicit mathematics: power types and overloading, Unnamed Item