![Model theory / Type theory / Predicate logic / Semantics / Data types / Prototype Verification System / Simply typed lambda calculus / First-order logic / Type system / Logic / Mathematical logic / Mathematics Model theory / Type theory / Predicate logic / Semantics / Data types / Prototype Verification System / Simply typed lambda calculus / First-order logic / Type system / Logic / Mathematical logic / Mathematics](https://www.pdfsearch.io/img/962a34b51c6c161ef15fba162c360bdf.jpg)
| Document Date: 2015-01-13 22:35:40 Open Document File Size: 468,44 KBShare Result on Facebook
Company SRI International / / / IndustryTerm computational systems / software systems / / Organization USA Computer Science Laboratory / / Person Sam Owre / / / Product Prototype Verification System / / ProgrammingLanguage Ada / ML / / Technology dom / / URL http /
SocialTag |