A Type Theory in Which Variables Range Over Predicates

A Type Theory in Which Variables Range Over Predicates

Bibliographic Details
Main Author:	Priest, G. G.
Published:	London School of Economics and Political Science (University of London) 1975
Subjects:	510
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.469502

Similar Items

Fibrations, logical predicates and indeterminates
by: Hermida, Claudio Alberto
Published: (1993)

Preordered categories and predicate transformers
by: Martin, Clare
Published: (1991)

Rudimentary predicates low complexity classes and related automata
by: Meloul, J.
Published: (1979)

Some results in the theory of numerical ranges
by: McGregor, C. M.
Published: (1971)

The theory of adsorption including the effects of short and long-range forces between the adsorbed particles, and, An extension of the theory of superlattices to include long-range interactions
by: Wang, Jwu-Shi
Published: (1938)

Transcendence theory over local fields
by: Flicker, Y.
Published: (1978)

Modules over group algebras which are free on restriction to a maximal subgroup
by: Andrews, Robert Charles
Published: (1987)

Matrix ranges of operators on Hilbert spaces
by: Johnson, G. A.
Published: (1972)

The evolution of oceanic nonlinear internal waves over variable topography
by: Yuan, Chunxin
Published: (2018)

Homotopy theory of gauge groups over 4-manifolds
by: So, Tse Leung
Published: (2018)

Polynomials and models of type theory
by: von Glehn, Tamara
Published: (2015)

Predicate which-appositives
by: LaCara, Nicholas
Published: (2012)

Natural deduction for intuitionistic type theory
by: Harle, B.
Published: (1972)

GL₂ Iwasawa theory of elliptic curves over global funtion fields
by: Sechi, Gianluigi
Published: (2007)

Homotopy type-theoretic interpretations of constructive set theories
by: Gallozzi, Cesare
Published: (2018)

Some advances in the theory of successive over-relaxation
by: Haque, S.
Published: (1980)

Some advances in the theory of succesive over-relaxation
by: Haque, S.
Published: (1980)

Some Problems in Set Theory: Non-Standard Models and their Application to Model Theory
by: Wilmers, G.
Published: (1975)

Computability over abstract data types
by: Byers, Patrick
Published: (1990)

On the Iwasawa theory of elliptic curves over cyclotomic fields
by: McConnell, Gary
Published: (1993)

The finite primitive collineation groups which contain homologies of period two
by: Hamill, C. M.
Published: (1951)

Extreme hermitian forms over complex quadratic fields
by: Johnston, G. O.
Published: (1978)

Biorthogonality and generalised k-numerical ranges
by: Felton, A. J.
Published: (1995)

Long-range interactions in complex networks
by: Mutombo, Franck Kalala
Published: (2012)

Qualified types : theory and practice
by: Jones, Mark Philip
Published: (1992)

Multiplicative linear type theories
by: Koh, Thong Wei
Published: (1998)

Topics in Banach algebra theory
by: Pickford, J. G.
Published: (1973)

Some problems in the homotopy theory of spaces under A and over B
by: Alsoufi, A. A.
Published: (1982)

Some problems on summability and measure theory
by: Davies, G. S.
Published: (1964)

Some aspects of the theory of harmonic gauges over Riemann surfaces
by: Valli, Giorgio
Published: (1988)

Aspects of density functional theory
by: Chan, G. K.-L.
Published: (2000)

Contributions to the theory of locally convex algebras
by: Allan, G. R.
Published: (1965)

K-numerical ranges of operators on Hilbert spaces
by: Nashvadian Bakhsh, B.
Published: (1978)

Linear operators which commute with translation
by: Millington, Andrew
Published: (1991)

The ergodic theory isomorphism problem in connection with compact groups
by: Miles, G.
Published: (1979)

Some 3-Local Problems in Finite Group Theory
by: Henry, P. G.
Published: (1976)

Some problems in the theory of linear operators in hilbert space
by: Nicholson, G. E.
Published: (1979)

Further developments in the theory, computer implementation and application of bond graphs
by: Asher, G. M.
Published: (1979)

Concerning numbers of the form n² + 1 which are nearly prime : some properties of functions bounded in mean
by: Bradley, Frederick Wrake
Published: (1930)

Some applications of functional analysis in summability theory and bases in (F)- and (LF)-spaces
by: Bennett, G.
Published: (1970)

Cannot write session to /tmp/vufind_sessions/sess_t02aauguqeg6mitsh3u3ksggds