Keyword: coinductive

• Coalgebras: Coalgebras, bisimulation and lambda-coiteration
  Milad Niqui
• Paco: Paco: Parameterized Coinduction
  Chung-Kil Hur, Derek Dreyer, Georg Neis, Viktor Vafeiadis