Back to Results
First PageMeta Content
Logic in computer science / Programming language semantics / Models of computation / Computability theory / Logic programming / Substitution / Operational semantics / Denotational semantics / Lambda calculus / Structure


c Cambridge University Press 2009 JFP: page 1 of 24.  1 doi:S0956796809990219
Add to Reading List

Document Date: 2009-10-12 08:32:22

Open Document

File Size: 379,63 KB

Share Result on Facebook
UPDATE