Advertisement

A set constructor for inductive sets in Martin-Löf's type theory

  • Kent Petersson
  • Dan Synek
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 389)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Bac87]
    Roland Backhouse. On the meaning and construction of the rules in Martin-Löf's theory of types. In Proceedings of the Workshop on General Logic, Edinburgh, Laboratory for the Foundations of Computer Science, University of Edinburgh, February 1987.Google Scholar
  2. [Chi87]
    P. Chisholm. Derivation of a Parsing Algorithm in Martin-Löf's theory of types. Science of Computer Programming, 8:1–42, 1987.Google Scholar
  3. [CM85]
    Robert L. Constable and Nax P. Mendler. Recursive Definitions in Type Theory. In Proceedings of the LICS-Conference, Brooklyn, N. Y., Lecture Notes in Computer Science, Springer-Verlag, June 1985.Google Scholar
  4. [Dyb87]
    Peter Dybjer. Inductively Defined Sets in Martin-Löf's Type Theory. 1987. Presented at the Workshop on General Logic, Edinburgh.Google Scholar
  5. [Hoa75]
    C. A. R. Hoare. Recursive Data Structures. International Journal of Computer and Information Sciences, 4(2):105–132, 1975.Google Scholar
  6. [Mar82]
    Per Martin-Löf. Constructive Mathematics and Computer Programming. In Logic, Methodology and Philosophy of Science, VI, 1979, pages 153–175, North-Holland, 1982.Google Scholar
  7. [Mar84]
    Per Martin-Löf. Intuitionistic Type Theory. Bibliopolis, Napoli, 1984.Google Scholar
  8. [Mil84]
    R. Milner. Standard ML Proposal. Polymorphism: The ML/LCF/Hope Newsletter, 1(3), January 1984.Google Scholar
  9. [Sco82]
    Dana Scott. Domains for Denotational Semantics. In Automata, Languages and Programming, 9th Colloquium, pages 577–613, Springer-Verlag, LNCS 140, July 1982.Google Scholar
  10. [Syn89]
    Dan Synek. Deriving Rules for Inductive Sets in Martin-Löf's Type Theory. Technical Report, Programming Methodology Group, Dept. of Computer Science, Chalmers University of Technology, S-412 96 Göteborg, 1989. In preparation.Google Scholar
  11. [vWea74]
    A. van Wijngarden et al. Revised report on the Algorithmic Language, ALGOL 68. Acta Informatica, 5:1–236, 1974.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Kent Petersson
    • 1
  • Dan Synek
    • 1
  1. 1.Programming Methodology Group, Dept. of Computer SciencesUniv. of Göteborg and ChalmersGöteborgSweden

Personalised recommendations