Login / Signup

Friends with Benefits - Implementing Corecursion in Foundational Proof Assistants.

Jasmin Christian BlanchetteAymeric BouzyAndreas LochbihlerAndrei PopescuDmitriy Traytel
Published in: ESOP (2017)
Keyphrases
  • information systems
  • intelligent agents
  • e learning
  • multiscale
  • linear logic
  • intelligent software
  • geometry theorem proving
  • database
  • database systems
  • efficient implementation
  • proof planning