Abstracts of papers accepted for presentation at TAASN 2009

James Cheney, Rene Vestergaard and Michael Norrish. Formalizing adequacy. Download
Masahiko Sato and Randy Pollack. A Syntax for the Lambda-calculus. Download
Matthew R. Lakin. Representing names with variables in nominal abstract syntax. Download
Murdoch Gabbay and Dominic Mulligan. Semantic nominal terms. Download
Sam Staton. Substitution in Structural Operational Semantics and value-passing process calculi. Download
Christophe Calvès. A Haskell Nominal Toolkit. Download