Type constructor

Known as: Higher-order type operator, Type constructors, Type operator

In the area of mathematical logic and computer science known as type theory, a type constructor is a feature of a typed formal language that builds…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2012

The principal object in noncommutative geometry is the spectral triple consisting of an algebra , a Hilbert space and a Dirac…

2011

We consider one-dimensional Schrödinger-type operators in a bounded interval with non-self-adjoint Robin-type boundary conditions…

2009

We construct normalizable, semi-classical states for the previously proposed model of quantum gravity which is formulated as a…

2008

When the index bundle of a longitudinal Dirac type operator is transversely smooth, we define its Chern character in Haefliger…

2006

Let I = [a , b ] ⊂ ℝ, let 1 < q ≤ p < ∞, let u and v be positive functions with u ∈ L p ′ (I ) and v ∈ L q (I ), and let T : L p…

2004

More than being just a tool for expressing algorithms, a well-designed programming language allows the user to express her ideas…

1999

As computational power and storage capacity increase, processing and analyzing large volumes of multi-dimensional datasets play…

1998

In the previous report (J. Phys. A (1997) 30 4019-4029), I showed that the Dirac operator defined over a conformal surface…

1993

1993

In this paper we describe the construction in Hol of the inductive type of arbitrarily branching labeled trees. Such a type is…