Titlebook: Algebra, Meaning, and Computation; Essays dedicated to Kokichi Futatsugi,Jean-Pierre Jouannaud,José Meseg Book 2006 Springer-Verlag Berlin

拔出

Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group Creativityce and complex networks to illuminate the dynamics of collective musical improvisation. Throughout, it argues for a systems understanding of creativity—a view that takes seriously the notion that group creativity is not simply reducible to individual psychological processes—and it explores interconn

马具

Metalogic, Qualia, and Identity on Neptune’s Great Moon: Meaning and Mathematics in the Works of Jospresentation, and the divergence between meaning in formal systems of understanding and in everyday lived experience. This essay attempts to draw out some of the parallels between the works of these two authors, in particular regarding metalogic, qualia, and identity, using illustrative examples fro

铺子

Quantum Institutions of institutions helps in capturing the precise relationships between the logics that are obtained, and, furthermore, helps in analyzing some of the key design decisions and opens the way to make the approach more useful and, at the same time, more abstract.

儿童

Jewels of Institution-Independent Model Theoryndent model theory as it stands today, the true form of abstract model theory which is based on the concept of institution. Institution theory was co-fathered by Joseph Goguen and Rod Burstall in late 1970’s. In the final part we discuss some philosophical roots of institution-independent methodolog

星球的光亮度

Glower

爱了吗

创造性

Extension Morphisms for CommUnity of invasive superposition morphisms between components in the architecture design language CommUnity. This kind of morphism allows us to characterise component extension relationships, and in particular, serves an important purpose for enhancing components to implement certain ., in the sense of as

GLOOM

人类学家

From OBJ to ML to Coqse, maintenance, and version management. Besides, these various tasks are interdependent, requiring going back and forth between them. In this paper, we are interested in certain language features and in languages which help make the user’s life easier for developing programs satisfying their specif