Introduction to Univalent Foundations of Mathematics with Agda

9 views

Skip to first unread message

unread,

Jan 3, 2020, 4:19:39 AM1/3/20

to Everything List

Introduction to Univalent Foundations of Mathematics with Agda

(4 March 2019, version of 18 December 2019)

Martín Hötzel Escardó

@philipthrift

Reply all

Reply to author

Forward

0 new messages