![Curry–Howard correspondence / Binomial series / Logic in computer science / Constructible universe / Separation logic Curry–Howard correspondence / Binomial series / Logic in computer science / Constructible universe / Separation logic](https://www.pdfsearch.io/img/9e84aff489dc4ac569ba4e6d1a67a07c.jpg)
| Document Date: 2008-03-11 15:10:19 Open Document File Size: 298,24 KBShare Result on Facebook
/ IndustryTerm composition law / / Organization National Science Foundation / Danish National Research Foundation / Carnegie Mellon University / / Person Richard Bornat / John C. Reynolds / David Pym / / Position author / / Technology dom / / URL http /
SocialTag |