77 Massachusetts Avenue
50 Memorial Drive
Cambridge, MA 02139-4307
United States
Massachusetts Institute of Technology (MIT)
SSRN RANKINGS
in Total Papers Downloads
Monsters, Euclid, Foundations of Computer Science, Dedekind, Russell, Gödel, Wittgenstein, Church, Turing, Jaśkowski
Uniquely Categorical Theories, Strong Types, Scalable Intelligent Systems, Actor Model of Computation, Gul Agha, Joe Armstrong, Sergei Artemov, Russ Atkinson, Jeremy Avigad, Steve Awodey, Henry Baker, Jon Barwise, Nicolas Bourbaki, Cesare Burali-Forti, John Burgess, Will Clinger, Per Brinch Hansen
Integrative Scalable Intelligent Systems, Pain Management, Massive Inference Robust Ontology, Deep Learning, Gradient Classifier
Uniquely Categorical Theories, Strong Types, Universal Intelligent Systems, Actor Model Of Computation, Gul Agha, Joe Armstrong, Russ Atkinson, Jeremy Avigad, Steve Awodey, Henry Baker, Nicolas Bourbaki, John Burgess, Will Clinger, Per Brinch Hansen, Alonzo Church, Thierry Coquand, Haskell Curry
Actor Model, Backdoors, International Commerce, Representative Government, Inference Robustness, IoT, Citadels, Mass Surveillance, Sensitive Information
Uniquely Categorical Theories, Strong Types, Scalable Intelligent Systems, Actor Model of Computation, Sergei Artemov, Jeremy Avigad, Steve Awodey, Jon Barwise, Nicolas Bourbaki, Cesare Burali-Forti, John Burgess, Alonzo Church, Paul Cohen, Thierry Coquand, Haskell Curry, Dedekind, Jean-Yves Girard
Project Liftoff, Discursive, Massive Inference Robust Ontology, Actors, Citadels
mandatory backdoors, Internet of Traitorous Things, Nothing is Beyond Our Reach, sensitive citizen information, hologlasses
Universal Intelligent Systems, Inference Robustness, Semantic Security