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

Show full item record

Page view(s)

checked on Mar 21, 2023

Google ScholarTM


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.