placeholder image
Publications in VIVO
 

Levi, Giorgio

selected publications

  • academic article

    • Modelling prolog controlConference Record of the Annual ACM Symposium on Principles of Programming Languages.  3:579-603. 1992
  • conference paper

    • Modelling Prolog controlProceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '92. 1992