Back to Results
First PageMeta Content
Logic in computer science / Proof theory / Non-classical logic / Philosophical logic / Type theory / Modal logic / Lambda calculus / Curry–Howard correspondence / Logic / Mathematical logic / Mathematics


A modal type system for safe distributed computing Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University
Add to Reading List

Document Date: 2012-08-17 07:51:58

Open Document

File Size: 645,70 KB

Share Result on Facebook

City

Copenhagen / /

/

Facility

Ghent University / /

IndustryTerm

distributed computing / staged computing / certified mobile computing / /

Organization

Ghent University / Flemish Research Foundation Centre for Logic and Philosophy of Science / /

Person

Walker / Jia / Giuseppe Primiero / /

PublishedMedium

Philosophy of Science / /

Technology

mobile computing / /

URL

http /

SocialTag