Iterate : Ten Lessons in Design and Failure

Pretense Design : Surface Over Substance

Playing Smart : On Games, Intelligence, and Artificial Intelligence

GPS

The Archived Web : Doing History in the Digital Age

The Politics of Mass Digitization

Butch Heroes

Discursive Design : Critical, Speculative, and Alternative Things

Inventing Future Cities

What We Know about Climate Change

Rethinking Environmentalism : Linking Justice, Sustainability, and Diversity

School Choice

Qualitative Representations : How People Reason and Learn about the Continuous World

International Relations in the Cyber Age : The Co-Evolution Dilemma

The Blockchain and the New Architecture of Trust

Spotify Teardown : Inside the Black Box of Streaming Music

Laboratory Lifestyles : The Construction of Scientific Fictions

Energy at the End of the World : An Orkney Islands Saga

Mismatch : How Inclusion Shapes Design

Spontaneous Venturing : An Entrepreneurial Approach to Alleviating Suffering in the Aftermath of a Disaster

Essays in Logical Semantics

Categorial Grammar : Logical Syntax, Semantics, and Processing

Categorial Grammar : Logical Syntax, Semantics, and Processing

Type-Logical Syntax

Toward Logical Form : An Exploration of the Role of Syntax in Semantics

Toward Logical Form : An Exploration of the Role of Syntax in Semantics

Anaphora and Type Logical Grammar

Formal Semantics in Modern Type Theories

Formal Semantics in Modern Type Theories

Category Neutrality : A Type-Logical Investigation

Category Neutrality : A Type-Logical Investigation

Type Logical Grammar : Categorial Logic of Signs

Semantics of Type Theory : Correctness, Completeness and Independence Results

Logical Pluralism and Logical Consequence

Semantics

Semantics

Semantics

Semantics

Semantics

Semantics