1![An optimal Gaifman normal form construction for structures of bounded degree Lucas Heimberg1 Dietrich Kuske2 An optimal Gaifman normal form construction for structures of bounded degree Lucas Heimberg1 Dietrich Kuske2](https://www.pdfsearch.io/img/0cf218057df31359c89dbe53e3c7d924.jpg) | Add to Reading ListSource URL: highlights-conference.orgLanguage: English - Date: 2013-09-18 06:36:01
|
---|
2![On Decidability of Nominal Subtyping with Variance Andrew J. Kennedy Benjamin C. Pierce Microsoft Research Cambridge On Decidability of Nominal Subtyping with Variance Andrew J. Kennedy Benjamin C. Pierce Microsoft Research Cambridge](https://www.pdfsearch.io/img/454b9d195e803c771a8e306707aaa466.jpg) | Add to Reading ListSource URL: research.microsoft.comLanguage: English - Date: 2006-12-22 07:18:48
|
---|
3![](https://www.pdfsearch.io/img/e06c966c06d8ae882b7535153f95ba2f.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2007-01-03 10:18:19
|
---|
4![Semantic bounds for everyday language* MARCIN MOSTOWSKI and JAKUB SZYMANIK Abstract We consider the notion of everyday language. We claim that everyday language is semantically bounded by the properties expressible in t Semantic bounds for everyday language* MARCIN MOSTOWSKI and JAKUB SZYMANIK Abstract We consider the notion of everyday language. We claim that everyday language is semantically bounded by the properties expressible in t](https://www.pdfsearch.io/img/ac3e7b8629a9944a5f857b30923c1121.jpg) | Add to Reading ListSource URL: www.jakubszymanik.comLanguage: English - Date: 2012-02-17 11:19:27
|
---|
5![Universe Polymorphism: Subtyping and Unification Matthieu Sozeau Project Team πr 2 INRIA & PPS, Paris 7 Universe Polymorphism: Subtyping and Unification Matthieu Sozeau Project Team πr 2 INRIA & PPS, Paris 7](https://www.pdfsearch.io/img/56c2a4c6f0500d6c872b53148c4627a3.jpg) | Add to Reading ListSource URL: mattam.orgLanguage: English - Date: 2014-01-16 05:12:23
|
---|
6![On Variance-Based Subtyping for Parametric Types Atsushi Igarashi1 and Mirko Viroli2 On Variance-Based Subtyping for Parametric Types Atsushi Igarashi1 and Mirko Viroli2](https://www.pdfsearch.io/img/7dff80e23a0866eb0acf2f502c7aa35a.jpg) | Add to Reading ListSource URL: www.sato.kuis.kyoto-u.ac.jpLanguage: English - Date: 2003-01-07 03:41:10
|
---|
7![](https://www.pdfsearch.io/img/506dcb8df713ffd2819b058273a729a0.jpg) | Add to Reading ListSource URL: www.cs.cmu.eduLanguage: English - Date: 2005-05-17 17:16:01
|
---|