Review of "Homotopy Type Theory"

Research output: Contribution to journal › Literature review › peer-review

Original language	English
Pages (from-to)	497-500
Number of pages	4
Journal	The bulletin of symbolic logic
Volume	20
Issue number	4
Publication status	Published - Dec 2014

Cite this

@article{9f6dc3fb52fa4729baa73bfa2d2f8345,

title = "Review of {"}Homotopy Type Theory{"}",

author = "{van Oosten}, Jakobus",

year = "2014",

month = dec,

language = "English",

volume = "20",

pages = "497--500",

journal = "The bulletin of symbolic logic",

issn = "1079-8986",

publisher = "Cambridge University Press",

number = "4",

}