Author:
Ghani Neil,Uustalu Tarmo,Vene Varmo
Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. Lecture Notes in Computer Science;T. Altenkirch,1999
2. Bainbridge, E.S., Freyd, P.J., Scedrov, A., Scott, P.J.: Functorial polymorphism. Theoretical Computer Science 70(1), 35–64 (1991); Corrigendum, ibid. 71(3), 431 (1991)
3. Böhm, C., Berarducci, A.: Automatic synthesis of typed Λ-programs on term algebras. Theoretical Computer Science 39(2–3), 135–154 (1985)
4. Dubuc, E., Street, R.: Dinatural transformations. In: Lane, S.M. (ed.) Reports of the Midwest Category Seminar IV, pp. 126–137. Springer, Heidelberg (1970)
5. Eppendahl, A.: Parametricity and Mulry’s strong dinaturality. Technical Report 768, Dept.of Computer Science, Queen Mary and Westfield College, London (1999)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献