Multi-lingual Sequent Theory Calculus and Domain Theory

  • Jung, Achim (Principal Investigator)

Project Details

Short titleMulti-lingual Sequent Theory Calculus and Domain Theory
StatusFinished
Effective start/end date1/11/03 → 30/04/04

Funding

  • Engineering & Physical Science Research Council