Computational semantics as reasoning about programs

Original languageEnglish
JournalSouth Asian Language Review
VolumeSpecial Issue on Computational Semantics
ISSN0971-0485
Publication statusAccepted/In press - 2007

Cite this