Archive

Posts Tagged ‘galois connections’

The Galois connection between syntax and semantics

June 5th, 2010 06:14 View Comments