Introduction to homotopy type theory

Author(s)

• Rijke, Egbert

Bibliographic Information

Introduction to homotopy type theory

Egbert Rijke

（Cambridge studies in advanced mathematics, 219）

Cambridge University Press, 2026

• : hardback

Note

Content Type: text (ncrcontent), Media Type: unmediated (ncrmedia), Carrier Type: volume (ncrcarrier)

Includes bibliographical references (pages 353-355) and index

Details

• NCID: BD13861906
• ISBN:
  • 9781108844161
• Country Code: uk
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Cambridge
• Pages/Volumes: xi, 373 pages
• Size: 24 cm
• Parent Bibliography ID:
  • BA00109761