On the syntax of infinite objects: an extension of Martin-Löf's theory of expressions

  • Lars Hallnäs
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 417)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    P. Aczel, Replacement Systems and the axiomatisation of Situation Theory, to appear in Proceedings of the Asilomar meeting on Situation theory, (1989).Google Scholar
  2. [2]
    H. Barendregt, The lambda calculus (North Holland, 1984).Google Scholar
  3. [3]
    P.-L. Curien, The λρ-calculus: an Abstract Framework for Environment Machines, Departement de Mathematiques et d'Informatique, Ecole Normale Superieure, Liens, (1988).Google Scholar
  4. [4]
    L. Hallnäs, Non wellfounded sets: limits of wellfounded approximations, Preprint, Department of Mathematics University of Uppsla, (1986).Google Scholar
  5. [5]
    K. Karlsson, Graph Reduction meets Data Flow — the D-machine, Dissertation Chalmers University of Technology and University of Göteborg, (1989).Google Scholar
  6. [6]
    I. Lindström, A construction of non-well-founded sets within Martin-Löfs type theory, JSL 54:1, (1989).Google Scholar
  7. [7]
    P. Martin-Löf, Intuitionistic type theory, (Bibliopolis, 1984).Google Scholar
  8. [8]
    P. Martin-Löf, Private communication, (1986).Google Scholar
  9. [9]
    N.P. Mendler, P. Panangaden, R.L. Constable, Infinite objects in type theory, in Proceedings of the Symposium on Logic in Computer Science, (Computer Society Press, 1986).Google Scholar
  10. [10]
    R. Milner, A calculus of communicating systems Lecture Notes in Computer Science 92, (Springer, Berlin, 1980).Google Scholar
  11. [11]
    B. Nordström, K. Petersson, J. Smith, Programming in Martin-Löf's type theory: An introduction., (Oxford University Press, 1989).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Lars Hallnäs
    • 1
  1. 1.Programming Methodology Group, Department of Computer ScienceChalmers University of Technology and University of GöteborgGöteborgSweden

Personalised recommendations