Video results for: calculus book freeMore results from video
semantics of a computer component PREFACE. I do not want to work by myself. I am looking for work that I can do in the company of (More) PREFACE. I do not want to work by myself. I am looking for work that I can do in the company of others.
Lambda calculus was used for describing computer languages and natural language e.g. (1) Michael Gordon's book on denotational semantics (2) Main's paper in 1984 on denotational semantics description of some natural language.
A current suggestion is I look at describing the semantics of PHP, as I have not found anything on the web about this. Presumably I need to make a (minimal) model of the semantics of the Apache server also, as the two run together (on the installation I downloaded).
PLAN. Write in natural language.
It is clear that we can describe semantics in lambda calculus. It is far from clear that is an "effective" method in human terms - because we cannot be effective (in human terms) if the method is too inefficient to be implemented amd run successfully.
Can't we use Prolog to implement something that is simple and readable by naive humans.
PLAN 28.5.08 Look at simple example.
RETHINK. I experimented with PHP for two months in 2006. Since then I have probably lost all my source code, because of frantic efforts to delete folders from the computer to free up space. Without funding, I am not sure I have the interest or energy to go back to PHP.
PLAN: seek funding for a project first before going on. (Less)
Malliavin Calculus and Related Topics
2009-07-13 - extension: rar - size: 2 MB
Malliavin Calculus and Related Topics
Hosted on: rapidshare.com