Back to Results
First PageMeta Content
Logic in computer science / Models of computation / Programming language semantics / Type theory / Lambda calculus / Name binding / Type system / Operational semantics / Programming language / Theoretical computer science / Programming language theory / Software engineering


Technical Report UCAM-CL-TR-568 ISSNNumber 568
Add to Reading List

Document Date: 2005-03-28 16:56:16

Open Document

File Size: 720,15 KB

Share Result on Facebook
UPDATE