| Authors: | Ghilezan, Silvia | Title: | Introduction to Type Theory : Invited talk | Conference: | EUTypes Summer School, 10-14 July 2017, Ohird, Macedonia | Issue Date: | Jul-2017 | Rank: | M32 |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.