| Authors: | Ghilezan, Silvia | Title: | Preciseness of Subtyping: from extensional to intensional aspects : Invited talk | Conference: | NII Shonan Meeting 115: Intensional and Extensional Aspects of Computation: From Computability and Complexity to Program Analysis and Security, 22-25 January 2018, NII- National Institute of Informatics Shonan meeting, Japan | Issue Date: | Jan-2018 | Rank: | M32 | URL: | https://shonan.nii.ac.jp/seminars/115/ |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.