Skip to main content
SpringerLink
Log in

Computable data types

  • Communications
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1979 (MFCS 1979)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 74))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. SCOTT D., Outline of a mathematical theory of computation. Proc. 4th Ann. Princeton Conf. on Information Sciences and Systems, pp. 169–176.

    Google Scholar 

  2. SCOTT D., Data types as lattices. SIAM J. Computing, Vol. 5 Nr 3, September 1976.

    Google Scholar 

  3. LEHMANN D.J., SMYTH M.B., Data types. 18th Ann. Symp. Fondations of Computer Science, 1977, pp. 7–12.

    Google Scholar 

  4. SMYTH M.B., PLOTKIN G.D., The Category-Theoretic Solutions of Recursive Domain Equations. 18th Ann. Symp. Foundations of Computer Science, 1977, pp. 13–17.

    Google Scholar 

  5. THATCHER J.W., WAGNER E.G., WRIGHT J.B., Data Type Specification: Paramaterization and the Power of Specification Techniques. Proceedings of the Tenth Ann. ACM Symp. on Theory Computing 1978, pp. 119–132.

    Google Scholar 

  6. ERSHOV Ju.L., Theorie der Numerierungen I., Zeitschr. f. math. Logik und Grundlagen d. Math. Bd. 19 (1973), pp. 289–388.

    Google Scholar 

  7. ERSHOV Ju.L., Theorie der Numerierungen II, same Zeitschr. Bd 21 (1975), pp. 473–584.

    Google Scholar 

  8. MAYOH B.H., Data Types as Functions, Proceedings MFCS'78, Springer Lecture Notes in Computer Science pp. 56–70.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. I.U.T. Departement Informatique, Universite de Lille-I, 59650, Villeneuve D'ascq, France

    G. Comyn & G. Werner

Authors
  1. G. Comyn
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. Werner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jiří Bečvář

Rights and permissions

Reprints and permissions

Copyright information

© 1979 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Comyn, G., Werner, G. (1979). Computable data types. In: Bečvář, J. (eds) Mathematical Foundations of Computer Science 1979. MFCS 1979. Lecture Notes in Computer Science, vol 74. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-09526-8_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-09526-8_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-09526-2

  • Online ISBN: 978-3-540-35088-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation