Computation on abstract data types. The extensional approach, with an application to streams

Open Access

Publisher Website

1 September 1996

journal article
Published by Elsevier in Annals of Pure and Applied Logic

Vol. 81 (1-3) , 75-113
https://doi.org/10.1016/0168-0072(96)88189-9

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

A new approach to abstract data types, I Informal development
Mathematical Structures in Computer Science, 1992
The formal language of recursion
The Journal of Symbolic Logic, 1989
Computable functionals of finite types
Algebra and Logic, 1972
Effective operations on partial recursive functions
Mathematical Logic Quarterly, 1955