From abstract data types to logical frameworks-Reference-Cited by-同舟云学术

From abstract data types to logical frameworks

Published:1995 Issue: Volume: Page:48-80
ISSN:0302-9743
Container-title:Recent Trends in Data Type Specification
language:
Short-container-title:

Author:

Meseguer José,Marti-Oliet Narciso

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0014422

Reference137 articles.

1. G. Agha. Actors. The MIT Press, 1986.

2. A. Asperti and S. Martini. Categorical models of polymorphism. Information and Computation, 99:1–79, 1992.

3. E. Astesiano and M. Cerioli. Free objects and equational deduction for partial conditional specifications. Technical Report 3, Dipartimento di Matematica, Universitàs di Genova, 1990.

4. E. Astesiano and M. Cerioli. Partial higher-order specifications. Fundamenta Informaticae, 16(2):101–126, 1992.

5. E. Astesiano and M. Cerioli. Relationships between logical frameworks. In M. Bidoit and C. Choppy, editors, Recent Trends in Data Type Specification, volume 655 of Lecture Notes in Computer Science, pages 126–143. Springer-Verlag, 1993.

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

1. Modularity of Ontologies in an Arbitrary Institution;Lecture Notes in Computer Science;2015

2. Rewriting logic bibliography by topic: 1990–2011;The Journal of Logic and Algebraic Programming;2012-10

3. Twenty years of rewriting logic;The Journal of Logic and Algebraic Programming;2012-10

4. Proof Complexity of Non-classical Logics;Lecture Notes in Computer Science;2012

5. Carnap, Goguen, and the Hyperontologies: Logical Pluralism and Heterogeneous Structuring in Ontology Design;Logica Universalis;2010-11