Monthly Archives: May 2006
Abstract Often, it is very difficult to pose a model for a system even after the system is conceptually understood. The reason is the mathematical languages we employ have few forms of expression. We define more expressive languages, first for … Continue reading
Thanks to my great advisors Robert Harper and Ignacio Grossmann. Read all about it here.