Skip to search formSkip to main contentSkip to account menu

Quotient type

In type theory, a kind of foundation of mathematics, a quotient type is an algebraic data type that represents a type whose equality relation has… 
Wikipedia (opens in a new tab)

Related topics

Related topics

4 relations
Algebraic data typeProduct typeSetoid

Broader (1)

Type theory

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Quotienting the Delay Monad by Weak
Strathprints is designed to allow users to access the research output of the University of Strathclyde. Unless otherwise… 
2016
2016
On Higgs bundles over Shimura varieties of ball quotient type
We prove the generic exclusion of certain Shimura varieties of unitary and orthogonal types from the Torelli locus. The proof… 
2014
2014
Data Definitions in the ACL 2 Sedan Harsh
We present a data definition framework that enables the convenient specification of data types in ACL2s, the ACL2 Sedan. Our… 
2013
2013
Programming in homotopy type theory and erasing propositions
In the recent years, homotopy type theory has become the subject of much study. Homotopy type theory studies the correspondence… 
2013
2013
Program Verification based on Kleene Algebra in Isabelle / HOL
Schematic Kleene algebra with tests (SKAT) supports the equational verification of flowchart scheme equivalence and captures… 
2012
2012
Computing absolute maximum correlation
Optimizing correlations between sets of variables is an important task in many areas of applications. There are plenty of… 
2012
2012
Signed-Measure Valued Stochastic Partial Differential Equations with Applications in 2D Fluid Dynamics
Signed Measure Valued Stochastic Partial Differential Equations BRADLEY T. SEADLER We note the interesting phenomenon that the… 
2012
2012
Lattice of Finite Group Actions on Prism Manifolds
The set of finite group actions (up to equivalence) which operate on a prism manifold M, preserve a Heegaard Klein bottle and… 
2008
2008
ON A MULTIVARIATE EIGENVALUE PROBLEM: II. GLOBAL SOLUTIONS AND THE GAUSS-SEIDEL METHOD
Optimizing correlation between sets of variables is an important task in many areas of applications. The stationary points where… 
2002
2002
The supplemental Isabelle/HOL library
A wide-band ultrasonic transducer comprising: a body of revolution; at least two electrodes connected to the body of revolution… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)