Back to Results
First PageMeta Content
Software engineering / Computing / Theoretical computer science / Automated theorem proving / Datalog / Horn clause / -calculus / Logic programming / Substitution / Struct / ALGOL 68 / Lambda calculus


A Type Discipline for Authorization Policies ´ CEDRIC FOURNET and ANDREW D. GORDON Microsoft Research and
Add to Reading List

Document Date: 2009-08-14 07:09:04


Open Document

File Size: 253,06 KB

Share Result on Facebook