Brief Reminder of Constructive Type Theory | Publicación