![Computer science / Logic / Predicate logic / Process calculi / Π-calculus / Lambda calculus / Explicit substitution / Free variables and bound variables / Symbol / Theoretical computer science / Mathematics / Applied mathematics Computer science / Logic / Predicate logic / Process calculi / Π-calculus / Lambda calculus / Explicit substitution / Free variables and bound variables / Symbol / Theoretical computer science / Mathematics / Applied mathematics](https://www.pdfsearch.io/img/e34f3ba3408ebb1e2f9771e3f685f358.jpg) Date: 2009-02-19 09:48:16Computer science Logic Predicate logic Process calculi Π-calculus Lambda calculus Explicit substitution Free variables and bound variables Symbol Theoretical computer science Mathematics Applied mathematics | | GT-VC 2005 Preliminary Version Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names 1 Mikkel Bundgaard 2 Thomas Hildebrandt 3 Department of Theoretical Computer ScienceAdd to Reading ListSource URL: www.itu.dkDownload Document from Source Website File Size: 273,67 KBShare Document on Facebook
|