<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-01-08 08:10:54Polymorphism Subtype polymorphism Computing Type theory Software engineering Object-oriented programming |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2015-01-08 08:10:54Polymorphism Subtype polymorphism Computing Type theory Software engineering Object-oriented programming |
Add to Reading List |
Tarski and Coq A. Assaf1,2 1 INRIA Paris-Rocquencourt (Deducteam) 2