Algebra, Meaning, and Computation Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Futatsugi, Kokichi (Editor), Jouannaud, Jean-Pierre (Editor), Meseguer, José (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Series: Lecture Notes in Computer Science, 4060
• Subjects: Computer science.; Computers.; Computer logic.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Computing Methodologies.; Theory of Computation.; Mathematics of Computing.

Joseph Goguen is one of the most prominent computer scientists worldwide. His numerous research contributions span many topics and have changed the way we think about many concepts. Our views about data types, programming languages, software specification and verification, computational behavior, lo...