Partial equivalence relation - PDFSEARCH.IO - Document Search Engine

Partial equivalence relation
Results: 10

#	Item
1	Partial Type Equivalences for Verified Dependent Interoperability ∗ Pierre-Evariste Dagand Nicolas Tabareau Add to Reading List Source URL: pleiad.dcc.uchile.cl Language: English - Date: 2016-05-27 18:01:04 Type theory Equivalence relation Dependent type Preorder Homotopy type theory Monad Equivalence of categories Partial equivalence relation Type system Category Binary relation Lambda calculus
2	Representation of Partial Traces Marc Bagnol Department of Mathematics and Statistics – University of Ottawa The notion of trace in a monoidal category has been introduced by Joyal Street and Verity [4] to give a categ Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-19 05:55:06 Linear algebra Monoidal categories Order theory Category theory Abstract algebra Partial trace Andr Joyal Trace Equivalence class Equivalence relation Embedding Natural transformation
3	Descriptive Properties of Measure Preserving Actions and the Associated Unitary Representations Thesis by Tzer-jen Wei In Partial Fulllment of the Requirements Add to Reading List Source URL: thesis.library.caltech.edu Language: English - Date: 2012-12-25 21:43:45 Descriptive set theory Algebraic topology Topological groups Measure theory Amenable group Geometric group theory Support Borel equivalence relation Borel set Mathematics Abstract algebra Mathematical analysis
4	Making functionality more general Graham Hutton, University of Glasgow Ed Voermans, Eindhoven University of Technology∗ March 23, 1992 Abstract Add to Reading List Source URL: eprints.nottingham.ac.uk Language: English - Date: 2014-10-13 11:19:47 Partial equivalence relation Function Equivalence relation Finitary relation Lambda calculus Binary relation Total order Implementation of mathematics in set theory Preorder Mathematics Mathematical logic Order theory
5	A Type Theory with Partial Equivalence Relations as Types Abhishek Anand, Mark Bickford, Robert L. Constable and Vincent Rahli Cornell University Abstract A small core type language with intersection types in which a par Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2014-04-23 10:39:41 Theoretical computer science Programming language theory Formal methods Models of computation Type system Partial equivalence relation Equivalence relation Lambda calculus Dependent type Type theory Data types Mathematics
6	Action-Space Partitioning for Planning Natalia H. Gardiol, Leslie Pack Kaelbling MIT Computer Science and Artificial Intelligence Lab Cambridge, MA[removed]removed],[removed] Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2007-07-21 11:43:22 Algorithm Automated planning and scheduling Partial-order planning NP Equivalence class Heuristic function Equivalence of categories Mathematics Applied mathematics Equivalence relation
7	Appears in "Annals of Maths and Artificial Intelligence", vol 10, pp339-384, [removed]The Algebra of Genetic Algorithms Nicholas J. Radcliffe njr @ epcc.ed.ac.uk Add to Reading List Source URL: stochasticsolutions.com Language: English - Date: 2009-09-08 11:13:54 Equivalence relation Adjoint functors Equivalence class Equivalence of categories Binary relation Group action Equality Topological indistinguishability Partial equivalence relation Mathematics Abstract algebra Mathematical analysis
8	WACT[removed]Logical Relations and Parametricity A Reynolds Programme for Category Theory and Programming Languages Claudio Hermida1 University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-01-14 13:54:04 Algebra Category theory Mathematical structures Homomorphism Equivalence relation Binary relation Monoid Category Partial equivalence relation Mathematics Abstract algebra Algebraic structures
9	Chapter 1 Background and Fundamentals of Mathematics This chapter is fundamental, not just for algebra, but for all fields related to mathematics. The basic concepts are products of sets, partial orderings, equivalence r Add to Reading List Source URL: www.math.miami.edu Language: English - Date: 2004-03-18 17:56:52 Mathematical logic Bijection injection and surjection Surjective function Injective function Equivalence relation Bijection Inverse function Function Binary relation Mathematics Mathematical analysis Functions and mappings
10	JFP 13 (2): 261–293, March[removed]c 2003 Cambridge University Press Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2006-09-20 06:53:49 Category Partial equivalence relation Morphism Apartness relation Setoid Functor Equivalence relation Cartesian closed category Total order Mathematics Category theory Abstract algebra