Author:
Berrima Mouhebeddine,Ben Rajeb Narjes
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Asperti, A., Longo, G.: Categories, types, and structures: an introduction to category theory for the working computer scientist. MIT Press, Cambridge (1991)
2. Bernot, G., Bidoit, M., Knapik, T.: Behavioural Approaches to Algebraic Specifications: A Comparative Study. Acta Inf. 31(7), 651–671 (1994)
3. Bidoit, M., Hennicker, R.: Constructor-Based Observational Logic. Journal of Logic and Algebraic Programming 67(1-2), 3–51 (2006)
4. Bidoit, M., Hennicker, R., Kurz, A.: Observational logic, constructor-based logic, and their duality. Theoretical Computer Science 298(3), 471–501 (2003)
5. Bidoit, M., Hennicker, R., Wirsing, M.: Behavioural and abstractor specifications. Science of Computer Programming 25(2-3), 149–186 (1995)