Back to Results
First PageMeta Content
Proof theory / Logic in computer science / Models of computation / Curry–Howard correspondence / Philosophy of computer science / Type theory / Lambda calculus / Model theory / Modal logic / Logic / Theoretical computer science / Mathematical logic


Middlesex University Research Repository An open access repository of Middlesex University research http://eprints.mdx.ac.uk Berger, Martin and Tratt, LaurenceProgram logics for
Add to Reading List

Document Date: 2015-04-30 10:24:49

Open Document

File Size: 287,79 KB

Share Result on Facebook

City

Lisp / Dakar / /

Company

hNi / /

Country

Senegal / /

/

Facility

Middlesex University / Laurence Tratt2 University of Sussex Middlesex University Abstract / /

IndustryTerm

end product / much modern software / e.g. printing / satisfactory solutions / final product / sense to specialise such applications / Web system languages / meta-programming machinery / copyright law / /

Organization

University of Sussex / Laurence Tratt2 University / Middlesex University / US Federal Reserve / /

Position

author / /

ProgrammingLanguage

Haskell / C / Python / ML / JavaScript / Java / PHP / /

Technology

dom / PHP / artificial intelligence / Java / /

URL

http /

SocialTag