Repository | Directory | Profile
Douglas R. Smith
Composition by colimit and formal software development
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
Central and East European
Society for Phenomenology
Central and East European
Society for Phenomenology
Repository | Directory | Profile
Composition by colimit and formal software development
2006
in: Algebra, meaning, and computation, Dordrecht : Springer