| |
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science (2003), pp. 1-12.
|
| |
In TYPES (1999), pp. 1-20.
|
| |
|
| |
In POPL '08: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (2008), pp. 371-382.
|
| |
In Logic and Computation: Proceedings of the 1997 Marktoberdorf Summer School (1998)
|
| |
In proceedings of the 11th International Conference on Foundations of In Software Science and Computation Structures (FoSSaCS 2008) (April 2008)
|
| |
|
| |
Computer Network Security (2005), pp. 179-193.
|
| |
Fundam. Inf., Vol. 46, No. 3. (August 2001), pp. 187-197.
|
| |
In Handbook of Philosophical Logic Volume II --- Extensions of Classical Logic (1984), pp. 497-604.
|
| |
Lecture Notes in Computer Science, Vol. 1158 (1996), pp. 165-??.
|
| |
|
| |
In In proceedings of the 20th IEEE Computer Security Foundations Symposium (2007), pp. 31-48.
|
| |
In In proceedings of the 20th IEEE Computer Security Foundations Symposium (2007), pp. 16-30.
|
| |
In Conference record of {POPL} '98: the 25th {ACM} {SIGPLAN-{SIGACT}} Symposium on Principles of Programming Languages, San Diego, California, 19--21 January 1998 (1998), pp. 365-377.
|
| |
|
| |
In CSFW '06: Proceedings of the 19th IEEE workshop on Computer Security Foundations (2006), pp. 283-296.
|
| |
The Computer Journal, Vol. 44, No. 1. (2001), pp. 54-66.
|
| |
J. Funct. Program., Vol. 15, No. 2. (March 2005), pp. 249-291.
|
| |
In CSFW '06: Proceedings of the 19th IEEE workshop on Computer Security Foundations (2006), pp. 202-216.
|
| |
Programming Languages and Systems (2005), pp. 141-156.
|
| |
Computer, Vol. 37, No. 6. (2004), pp. 37-46.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 15, No. 4. (1993), pp. 706-734.
|
| |
In ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming (2006), pp. 263-273.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 25, No. 3. (2003), pp. 360-399.
|
| |
ACM Trans. Program. Lang. Syst., Vol. 27, No. 2. (2005), pp. 344-382.
|
| |
In SOSP '97: Proceedings of the sixteenth ACM symposium on Operating systems principles (1997), pp. 116-128.
|
| |
In LICS '03: Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science (2003)
|
| |
In Proceedings of the 11th USENIX Security Symposium (2002), pp. 93-108.
|
| |
|
| |
In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1997), pp. 106-119.
|
| |
|
| |
ACM Trans. Softw. Eng. Methodol., Vol. 9, No. 4. (October 2000), pp. 341-378.
|
| |
|
| |
|
| |
sp, Vol. 00 (2005), pp. 81-95.
|
| |
|
| |
Theoretical Computer Science, Vol. 110, No. 2. (1993), pp. 249-339.
|
| |
|
| |
In The Computer Science and Engineering Handbook (1997)
|
| |
In SP '02: Proceedings of the 2002 IEEE Symposium on Security and Privacy (2002)
|
| |
|
| |
In Proceedings 4th Annual IEEE Symp.\ on Logic in Computer Science, LICS'89, Pacific Grove, CA, USA, 5--8 June 1989 (1989), pp. 14-23.
|
| |
In TAPSOFT (1997), pp. 607-621.
|
| |
|
| |
|
| |
|
| |
|
| |
American Mathematical Society (1997)
|
| |
|
Search
