Skip to main content

Expanding constructive universes

  • Conference paper
  • First Online:
Algorithms in Modern Mathematics and Computer Science

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

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

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. „The English adjective linguistic is ambiguous between ‘pertaining to language (s)’ (Ger. sprachlich) and ‘pertaining to linguistics’ (Ger. sprachwissenschaftlich). Since in this paper the distinction is crucial, we will use the following: linguistic denotes the first sense, linguistic 2 the second“. (I.A.Mel'cak, in: Proc. VIIth Ann. Meeting of the Berkeley Linguistics Society, 1979, Berkeley).

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Andrei P. Ershov Donald E. Knuth

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Manin, Y.I. (1981). Expanding constructive universes. In: Ershov, A.P., Knuth, D.E. (eds) Algorithms in Modern Mathematics and Computer Science. Lecture Notes in Computer Science, vol 122. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-11157-3_29

Download citation

  • DOI: https://doi.org/10.1007/3-540-11157-3_29

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-11157-3

  • Online ISBN: 978-3-540-38621-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics