Sciweavers

ENTCS
2006
144views more  ENTCS 2006»
13 years 3 months ago
Infinitary Howe's Method
Howe's method is a well-known technique for proving that various kinds of applicative bisimilarity (or similarity) on a functional language are congruences (or precongruences...
Paul Blain Levy