Login / Signup

Linear Logic, Comonads and Optimal Reduction.

Andrea Asperti
Published in: Fundam. Informaticae (1995)
Keyphrases
  • linear logic
  • optimal solution
  • dynamic programming
  • desirable properties
  • multi view
  • logical framework
  • proof theoretic