Home > lambdatheultimate > The Galois connection between syntax and semantics

The Galois connection between syntax and semantics

June 5th, 2010 06:14 admin Leave a comment Go to comments

Peter Smith, The Galois connection between syntax and semantics.

explains Lawvere’s remark about ‘the familiar Galois connection between sets of axioms and classes of models, for a fixed [signature]‘

Seems like a rather nice introduction to the notion of Galois connection (I seem to remember someone asking about this awhile back).

One place Galois connections pop up is in the realm of Abstract Interpretation.

Source: The Galois connection between syntax and semantics

Related Articles:

  1. Abstract interpreters for free
  2. Invertible Syntax Descriptions: Unifying Parsing and Pretty Printing
  3. Tropical Semirings
  4. Mirah Tries To Make Java Fun With Ruby Syntax
  5. Monkeys With Syntax
blog comments powered by Disqus