Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,595,675 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Algebraic data type
Product type
Setoid
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
James Chapman
,
T. Uustalu
,
Niccolò Veltri
2018
Corpus ID: 54795926
Strathprints is designed to allow users to access the research output of the University of Strathclyde. Unless otherwise…
Expand
2014
2014
Data Definitions in the ACL 2 Sedan Harsh
H. R. Chamarthi
,
P. Dillinger
,
P. Manolios
2014
Corpus ID: 26157404
We present a data definition framework that enables the convenient specification of data types in ACL2s, the ACL2 Sedan. Our…
Expand
2013
2013
Programming in homotopy type theory and erasing propositions
G. Dijkstra
2013
Corpus ID: 118486075
In the recent years, homotopy type theory has become the subject of much study. Homotopy type theory studies the correspondence…
Expand
2013
2013
Program Verification based on Kleene Algebra in Isabelle / HOL
A. Armstrong
,
G. Struth
,
Tjark Weber
2013
Corpus ID: 16340119
Schematic Kleene algebra with tests (SKAT) supports the equational verification of flowchart scheme equivalence and captures…
Expand
2008
2008
ON A MULTIVARIATE EIGENVALUE PROBLEM: II. GLOBAL SOLUTIONS AND THE GAUSS-SEIDEL METHOD
Lei-Hong Zhang
,
M. Chu
2008
Corpus ID: 14762574
Optimizing correlation between sets of variables is an important task in many areas of applications. The stationary points where…
Expand
2002
2002
The supplemental Isabelle/HOL library
G. Bauer
,
T. Nipkow
,
+4 authors
M. Wenzel
2002
Corpus ID: 5385616
A wide-band ultrasonic transducer comprising: a body of revolution; at least two electrodes connected to the body of revolution…
Expand