Archive

Posts Tagged ‘Lawvere’

The Galois connection between syntax and semantics

June 5th, 2010 06:14 View Comments