Algebraic Specification: some old history, and new thoughts - discu.eu

Lambda the Ultimate

Algebraic Specification: some old history, and new thoughts http://www.ii.uib.no/~wagner/MNotes/adjrun.ps 3 comments 3/11/2003 history

Linking pages

GitHub - prathyvsh/morphisms-of-computational-structures: A visual catalogue + story of morphisms displayed across computational structures. https://github.com/prathyvsh/morphisms-of-computational-structures 1 comment

Related searches:

Search whole site: site:www.ii.uib.no

Search title: Algebraic Specification: some old history, and new thoughts

See how to search.

Submit link to: