Back to Results
First PageMeta Content
Theoretical computer science / Mathematics / Type theory / Mathematical logic / Formal methods / Logic in computer science / Programming language theory / Twelf / POPLmark challenge / Lambda calculus / Theorem / Formal language


Microsoft PowerPoint - SASyLF-wmm08-web.ppt
Add to Reading List

Document Date: 2008-10-15 15:02:54

Open Document

File Size: 179,74 KB

Share Result on Facebook