Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy

Name: Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy
Brand: OUP Oxford
SKU: 032b1da8cec024b7bfcf8a37fec7b2d5

1/1

Prices from

95.57

Description

Amazon Modal Homotopy Type Theory: The Prospect Of A New Logic For Philosophy Product Type: Abis Book Brand: Oxford University Press

Compare webshops (2)

Sponsored links · Some shops pay us a fee

Sort by:

£ 95.57

Description (1)

Modal Homotopy Type Theory: The Prospect Of A New Logic For Philosophy Product Type: Abis Book Brand: Oxford University Press

Brand	OUP Oxford
EAN	9780198853404

The Univalent Foundations Program

Homotopy Type Theory: Univalent Foundations of Mathematics

OUP Oxford

The Logic of Information: A Theory Philosophy as Conceptual Design

Cambridge University Press

Higher Order Logic and Type Theory (Elements in Philosophy Logic)

Independently Published

Beyond the Black Box: Homotopy Type Theory and Architecture of Future AI