First Page | Document Content | |
---|---|---|
Date: 2015-01-08 08:10:54Polymorphism Subtype polymorphism Computing Type theory Software engineering Object-oriented programming | Tarski and Coq A. Assaf1,2 1 INRIA Paris-Rocquencourt (Deducteam) 2Add to Reading ListSource URL: who.rocq.inria.frDownload Document from Source WebsiteFile Size: 2,43 MBShare Document on Facebook |