scientific article; zbMATH DE number 408790

zbMath0819.68078MaRDI QIDQ4202934

Solomon Feferman

Publication date: 6 September 1993

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

zbMATH Keywords

abstract data typesabstract computational procedure

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Recursive equivalence types of sets and structures, isols (03D50) Abstract and axiomatic computability and recursion theory (03D75)

Related Items

Formalizing non-termination of recursive programs, Computation on abstract data types. The extensional approach, with an application to streams, Theses for Computation and Recursion on Concrete and Abstract Structures, Feferman on Computability, The unfolding of non-finitist arithmetic