MathSciNet bibliographic data

MR3742564 03B15 (03G30 18G55 55U35) Awodey, Steve Natural models of homotopy type theory. Math. Structures Comput. Sci. 28 (2018), no. 2, 241–286.

Article

For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews.

Username/Password Subscribers access MathSciNet here

AMS Home Page American Mathematical Society 201 Charles Street Providence, RI 02904-6248 USA © Copyright 2019, American Mathematical Society Privacy Statement