A modal type theory for formalizing trusted communications
Work
Year: 2011
Type: article
Source: Journal of Applied Logic
Institutions University of Oxford, Research Foundation - Flanders, Ghent University, Wellcome Centre for Ethics and Humanities, University of Hertfordshire
Cites: 85
Cited by: 33
Related to: 10
FWCI: 3.415
Citation percentile (by year/subfield): 96.1
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: green