Nominal Unification (2003)

by Christian Urban , Andrew Pitts , Murdoch Gabbay
Venue:Theoretical Computer Science
Citations:58 - 24 self

Active Bibliography

Equivariant Syntax and Semantics (Abstract of Invited Talk) ⋆ – Andrew M. Pitts
774 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
1318 Monads for functional programming – Philip Wadler - 1995
1111 Proof-Carrying Code – George C. Necula - 1997
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
639 A Survey of Program Slicing Techniques – F. Tip - 1995
680 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier, Ard Berry Georges Gonthier, Place Sophie Laltte - 1992