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

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 389 LNCS, Issue , 1989, Pages 128-140

  Petersson, Kent ^a   Synek, Dan ^a  

^a UNIVERSITY OF GOTHENBURG   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85011428341     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0018349     Document Type: Conference Paper

References (11)

1. 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.
2. P. Chisholm. Derivation of a Parsing Algorithm in Martin-Löf's theory of types. Science of Computer Programming, 8:1-42, 1987.
3. 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.
4. Peter Dybjer. Inductively Defined Sets in Martin-Löf's Type Theory. 1987. Presented at the Workshop on General Logic, Edinburgh.
5. C. A. R. Hoare. Recursive Data Structures. International Journal of Computer and Information Sciences, 4(2):105-132, 1975.
6. Per Martin-Löf. Constructive Mathematics and Computer Programming. In Logic, Methodology and Philosophy of Science, VI, 1979, pages 153-175, North-Holland, 1982.
7. Per Martin-Löf. Intuitionistic Type Theory. Bibliopolis, Napoli, 1984.
8. R. Milner. Standard ML Proposal. Polymorphism: The ML/LCF/Hope Newsletter, 1(3), January 1984.
9. Dana Scott. Domains for Denotational Semantics. In Automata, Languages and Programming, 9th Colloquium, pages 577-613, Springer-Verlag, LNCS 140, July 1982.
10. 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.
11. A. van Wijngarden et al. Revised report on the Algorithmic Language, ALGOL 68. Acta Informatica, 5:1-236, 1974.