Publication
-
November 1996 -
November 1996 -
Topological dualities in semantics Dissertation
November 1996 -
Challenges in Human-Computer Interfaces: Making the Technology Serve the User Article
ACM Computing Surveys, 28(4)December 1996
-
No-arbitrage, change of measure and conditional Esscher transforms Article
CWI Quarterly, 9(4), 291-317.December 1996
-
A crash course in stochastic calculus with applications to mathematical finance Article
CWI Quarterly, 9(4), 357-388.December 1996
-
Cascading Style Sheets, level 1 Standard
December 1996
-
Confluence for process verification Article
Theoretical Computer Science, 170(1-2), 47-81.December 1996