|
4
|
Why algebraic theories
– E G Wagner, S L Bloom, J W Thatcher
- 1985
|
|
5
|
Dependent types considered necessary for specification languages
– T Streicher, M Wirsing
- 1990
|
|
2
|
Etude des sp'ecifications modulaires : constructions de colimites finies, diagrammes, isomorphismes. Doctorat d'Universit'e
– C Oriat
- 1996
|
|
2
|
et al. Reference manual of the specification language LPG
– D Bert
- 1990
|
|
2
|
Putting algebraic components together: A dependent type approach
– J-C Reynaud
- 1990
|
|
2
|
Isomorphism of typed algebraic specifications
– J-C Reynaud
- 1993
|
|
1
|
The categorical theory generated by a limit sketch
– M Barr, C Wells
- 1994
|
|
1
|
g'en'ericit'e, prototypage : aspects du langage LPG. Technique et science informatique
– Sp'ecification
- 1097
|
|
1
|
Cat'egories lax-localement-cart'esiennes et cat'egories localement cart'esiennes : un exemple de suffisante compl'etude connexe de s'emantiques initiales
– F Cury
- 1991
|
|
1
|
Sketches and computation (part 1): Basic definitions and static evaluation
– D Duval, J-C Reynaud
- 1994
|
|
1
|
Sketches and computation (part 2): Dynamic evaluation and applications
– D Duval, J-C Reynaud
- 1994
|
|
6
|
Compositionality results for different types of parameterization and parameter passing in specification language
– H Ehrig, R M Jimenez, F Orejas
- 1993
|
|
4
|
A Model Inference System for Generic Specification with Application to Code Sharing
– Didier Bert, Catherine Oriat
- 1995
|
|
3
|
S'emantique de LPG
– J-C Reynaud
- 1987
|
|
78
|
Initiality, induction and computability
– J Meseguer, J Goguen
- 1985
|
|
40
|
Some fundamental algebraic tools for the semantics of computation, part 3: Indexed categories
– Andrzej Tarlecki, Rod Burstall, Joseph Goguen
- 1991
|
|
22
|
Abstract data types as initial algebras and the correctness of data representations
– Joseph Goguen, James Thatcher, Eric Wagner, Jesse Wright
- 1975
|
|
4
|
Completions of categories and initial completions. Cahiers de Topologie et Géométrie Différentielle Catégorique
– Walter Tholen, Anna Tozzi
- 1989
|
|
5
|
Many-sorted theories and their algebras with some applications to data tipes, In: Algebraic methods in semantics, Cambridge Univ
– S L Bloom, E G Wagner
- 1985
|
