![Logic in computer science / Models of computation / Formal methods / Denotational semantics / De Bruijn index / Higher-order abstract syntax / Lambda calculus / ECL programming language / Actor model / Computing / Software engineering / Theoretical computer science Logic in computer science / Models of computation / Formal methods / Denotational semantics / De Bruijn index / Higher-order abstract syntax / Lambda calculus / ECL programming language / Actor model / Computing / Software engineering / Theoretical computer science](https://www.pdfsearch.io/img/523a39e88a2f968f95d23e6cf80ef9d8.jpg) Date: 2005-02-28 05:08:39Logic in computer science Models of computation Formal methods Denotational semantics De Bruijn index Higher-order abstract syntax Lambda calculus ECL programming language Actor model Computing Software engineering Theoretical computer science | | FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 AbstractAdd to Reading ListSource URL: www.cl.cam.ac.ukDownload Document from Source Website File Size: 122,32 KBShare Document on Facebook
|