Active Bibliography

Equivariant Syntax and Semantics (Abstract of Invited Talk) ⋆ – Andrew M. Pitts
791 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
481 Domain Theory – Samson Abramsky, Achim Jung - 1994
1064 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
828 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
685 A Survey of Program Slicing Techniques – F. Tip - 1995
619 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
728 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier - 1992