Login / Signup

A Curry-Howard Isomorphism for Compilation and Program Execution.

Atsushi Ohori
Published in: TLCA (1999)
Keyphrases
  • program execution
  • multi processor
  • graph theory
  • java virtual machine
  • graph isomorphism
  • programming course
  • learning tools