12 citations · 56 across the 23 of their papers we have counts for
1 paper · 1 filter
Tom Hirschowitz, Ambroise Lafont
Applicative bisimilarity is a coinductive characterisation of observational equivalence in call-by-name lambda-calculus, introduced by Abramsky (1990). Howe (1996) gave a direct pr…