| |
In Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1992), pp. 1-14.
|
| |
In One Hundred Years of Russell's Paradox: Mathematics, Logic, Philosophy (2004), pp. 135-152.
|
| |
|
| |
J. Funct. Program., Vol. 14, No. 1. (January 2004), pp. 69-111.
|
| |
Russell, Idealism, and the Emergence of Analytic Philosophy, pp. 285-328.
|
| |
Logic in Computer Science, 1999. Proceedings. 14th Symposium on (1999), pp. 412-420.
|
| |
In POPL '99: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1999), pp. 214-227.
|
| |
Types for Proofs and Programs In Types for Proofs and Programs (2007), pp. 237-252.
|
| |
|
| |
|
| |
In Proceedings 4th Int.\ Conf.\ on Funct.\ Prog.\ Languages and Computer Arch., FPCA'89, London, UK, 11--13 Sept 1989 (1989), pp. 347-359.
|
| |
|
| |
|
| |
Diagrammatic Representation and Inference (2008), pp. 222-235.
|
| |
Diagrammatic Representation and Inference (2008), pp. 206-221.
|
| |
|
| |
Functional and Logic Programming (2008), pp. 81-96.
|
| |
In Formal Description of Programming Concepts (1991), pp. 431-507.
|
| |
|
| |
ACM Computing Surveys, Vol. 28, No. 4. (1996), pp. 626-643.
by Edmund M. Clarke, Jeannette M. Wing, Rajeev Alur, et al.Rance Cleaveland, David Dill, Allen Emerson, Stephen Garland, Steven German, John Guttag, Anthony Hall, Thomas Henzinger, Gerard Holzmann, Cliff Jones, Robert Kurshan, Nancy Leveson, Kenneth Mcmillan, J. Moore, Doron Peled, Amir Pnueli, John Rushby, Natarajan Shankar, Joseph Sifakis, Prasad Sistla, Bernhard Steffen, Pierre Wolper, Jim Woodcock, Pamela Zave
|
| |
In Trends in Functional Programming (30 September 2007)
|
| |
In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell (2002), pp. 1-16.
|
| |
Lecture Notes in Computer Science, Vol. 3286 (January 2004), pp. 186-205.
|
| |
In Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), Abramsky \& Gabbay \& Maibaum (Eds.), Clarendon, Vol. 2 (1992)
|
| |
J. Funct. Program., Vol. 10, No. 4. (July 2000), pp. 409-415.
|
| |
In Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures (2002), pp. 1-41.
|
| |
In Haskell '04: Proceedings of the ACM SIGPLAN workshop on Haskell (2004), pp. 33-44.
|
| |
|
| |
In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 120-121.
|
| |
In Haskell '06: Proceedings of the 2006 ACM SIGPLAN workshop on Haskell (2006), pp. 72-83.
|
| |
|
| |
SOFSEM 2006: Theory and Practice of Computer Science (2006), pp. 1-13.
|
| |
In Layout of (Software) Engineering Diagrams (September 2008), pp. 16-31.
|
| |
|
| |
International Journal of Web Engineering and Technology, Vol. 3, No. 4. (2007), pp. 353-373.
|
| |
In Proceedings of the First International Conference on Semantics and Digital Media Technology, Vol. 4306 (2006), pp. 56-70.
|
| |
|
| |
Transactions on Magnetics, Vol. 32, No. 3. (1996), pp. 1850-1854.
|
| |
In {CHI'03} Extended Abstracts on Human Factors in Computing Systems (2003), pp. 764-765.
|
| |
|
| |
Computer Graphics and Applications, Vol. 18, No. 4. (1998), pp. 18-23.
|
| |
In Proceedings of the 1998 {IEEE} Symposium on Information Visualization (1998), pp. 19-25.
|
| |
In Proceedings of Visual Languages and Logic, Vol. 274 (2007), pp. 97-109.
|
| |
In Proceedings of Theory and Application of Diagrams, Vol. 1889 (2000), pp. 74-88.
|
| |
In Symposium on Visual Languages and Human-Centric Computing (2007), pp. 33-40.
|
| |
|
| |
|
| |
|
| |
|
| |
|
Search
