Home

Proofs

Library

Chat

Docs

Notif.

Billing

Settings

Sign in

home

library

authors

Benno van den Berg

Benno van den Berg

Publications

W-Types in Homotopy Type Theory. Benno van den Berg, Ieke Moerdijk. 2015.