Verifying properties of module construction in type theory-Reference-Cited by-同舟云学术

Verifying properties of module construction in type theory

Published:1993 Issue: Volume: Page:660-670
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Reus Bernhard,Streicher Thomas

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-57182-5_57.pdf

Reference14 articles.

1. J. A. Bergstra, J. Heering, P. Klint: Algebraic Specification. ACM Press, New York, 1989.

2. R.M. Burstall, J.A. Goguen: The semantics of Clear, a specification language. In: Proc. Advanced Course on Abstract Software Specification. LNCS 86, Springer, Berlin, 1980.

3. R.M. Burstall, J. McKinna: Deliverables: a categorical approach to program development in type theory. ECS-LFCS-92-242, Dept. of Computer Science, Edinburgh University, 1992.

4. J. McKinna: Deliverables: a categorical approach to program development in type theory. Ph.D. Thesis, University of Edinburgh, 1992. Also appeared as ECS-LFCS-92-247, Dept. of Computer Science, Edinburgh University, 1992.

5. J. Leszczylowski, M. Wirsing: Polymorphism, Parameterisation and Typing: An Algebraic Specification Perspective. In: Proc. of the 8th STACS, LNCS 480, Springer, Berlin, p. 1–15.

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

1. Using a Dependently-Typed Language for Expressing Ontologies;Knowledge Science, Engineering and Management;2011

2. Specification Refinement with System F – The Higher-Order Case;Recent Trends in Algebraic Development Techniques;2000

3. A Higher-Order Simulation Relation for System F;Lecture Notes in Computer Science;2000

4. Specification Refinement with System F;Computer Science Logic;1999

5. Synthetic domain theory in type theory: Another logic of computable functions;Lecture Notes in Computer Science;1996