A typed lambda calculus with categorical type constructors-Reference-Cited by-同舟云学术

A typed lambda calculus with categorical type constructors

Published:1987 Issue: Volume: Page:140-157
ISSN:0302-9743
Container-title:Category Theory and Computer Science
language:
Short-container-title:

Author:

Hagino Tatsuya

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-18508-9_24.pdf

Reference13 articles.

1. Arbib, M. A. and Manes, E. G.: The Greatest Fixed Points Approach to Data Types. In proceedings of Third Workshop Meeting on Categorical and Algebraic Methods in Computer Science and System Theory, Dortmund, West Germany, 1980.

2. Curien, P-L.: Categorical Combinators, Sequential Algorithms and Functional Programming. Research Notes in Theoretical Computer Science, Pitman, 1986.

3. Gordon, M. J., Milner, A. J. and Wordsworth, C. P.: Edinburgh LCF. Lecture Notes in Computer Science, Volume 78, 1979.

4. Hagino, T.: Category Theoretic Approach to Data Types. Ph. D. thesis, University of Edinburgh, 1987.

5. Harper, R., MacQueen, D. and Milner, R.: Standard ML. LFCS Report Series, ECS-LFSC-86-2. Department of Computer Science, University of Edinburgh, 1986.

Cited by 34 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Classical (co)recursion: Mechanics;Journal of Functional Programming;2023

2. Coinduction in Uniform: Foundations for Corecursive Proof Search with Horn Clauses;Programming Languages and Systems;2019

3. Indexed codata types;ACM SIGPLAN Notices;2016-12-05

4. The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics;Mathematical Structures in Computer Science;2016-10-24

5. Indexed codata types;Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming;2016-09-04