Bounded quantification - PDFSEARCH.IO - Document Search Engine

Bounded quantification
Results: 8

#	Item
1	An optimal Gaifman normal form construction for structures of bounded degree Lucas Heimberg1 Dietrich Kuske2 Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:36:01 Logic Mathematical logic Abstraction Predicate logic Finite model theory Quantification FO Quantifier Constructible universe
2	On Decidability of Nominal Subtyping with Variance Andrew J. Kennedy Benjamin C. Pierce Microsoft Research Cambridge Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2006-12-22 07:18:48 Computing Computer programming Data types Polymorphism Subtype polymorphism Type system Bounded quantification Inheritance Covariance and contravariance Software engineering Object-oriented programming Type theory
3	PDF Document Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2007-01-03 10:18:19 Computing Computer programming Data types Polymorphism Subtype polymorphism Type system Bounded quantification Inheritance Covariance and contravariance Software engineering Object-oriented programming Type theory
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 Add to Reading List Source URL: www.jakubszymanik.com Language: English - Date: 2012-02-17 11:19:27 Metalogic Model theory Semantics Formal languages First-order logic Interpretation Function Quantification Well-formed formula Logic Mathematical logic Predicate logic
5	Universe Polymorphism: Subtyping and Unification Matthieu Sozeau Project Team πr 2 INRIA & PPS, Paris 7 Add to Reading List Source URL: mattam.org Language: English - Date: 2014-01-16 05:12:23 Computing Polymorphism Data types Functional programming Subtype polymorphism Bounded quantification System F Inheritance Unification Software engineering Type theory Object-oriented programming
6	On Variance-Based Subtyping for Parametric Types Atsushi Igarashi1 and Mirko Viroli2 Add to Reading List Source URL: www.sato.kuis.kyoto-u.ac.jp Language: English - Date: 2003-01-07 03:41:10 Object-oriented programming Polymorphism Computing Data types Covariance and contravariance Subtype polymorphism Euclidean vector Generic programming Bounded quantification Software engineering Type theory Algebra
7	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-05-17 17:16:01 Computing Theoretical computer science Data types Polymorphism Logic in computer science Subtype polymorphism Denotational semantics Type system Bounded quantification Software engineering Object-oriented programming Type theory