Computational semantics as reasoning about programs

Research output: Contribution to journalJournal articleResearchpeer-review

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

ID: 381317