Qualified types : theory and practice

Qualified types : theory and practice

Bibliographic Details
Main Author:	Jones, Mark Philip
Published:	University of Oxford 1992
Subjects:	510 Pure mathematics
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.305969

Similar Items

Topics in the spectral theory of fourth order elliptic differential operators
by: Owen, Mark Philip
Published: (1996)

Cyclic factorizability theories
by: Jones, Paul Glyn
Published: (1999)

Smooth functions in O-minimal theories
by: Howard-Jones, D. P.
Published: (1999)

A topic in the theory of super Riemann surfaces
by: Langer, Mark John
Published: (1997)

Hamiltonian theory and its application to water-wave problems
by: Groves, Mark David
Published: (1992)

The theory of aggregates
by: Wilkinson, D. R.
Published: (1981)

Otto HoÌˆlder and the development of group theory and Galois theory
by: Nicholson, Julia
Published: (1993)

Kasparov, products in KK-theory, and unbound operators with applications to index theory
by: Kucerovsky, Daniel
Published: (1994)

Mechanizing set theory
by: Corella, Francisco
Published: (1989)

Lattice gauge theories
by: Anthony, S. J.
Published: (1982)

On analytic number theory
by: Guo, Charng Rang
Published: (1993)

Topics in group theory
by: McSorley, J. P.
Published: (1986)

Topics in number theory
by: Lloyd, S. A.
Published: (1984)

Theory of bond graphs
by: Lamb, John D.
Published: (1993)

Contributions to recursion theory
by: Seetapun, David
Published: (1991)

Topics in analytic number theory
by: Dyke, Steven Douglas
Published: (1992)

Some problems in the theory of partitions
by: Lee, Darren Vincent
Published: (1992)

Equilibrium and learning in game theory
by: Gilli, Mario
Published: (1995)

K-theories and the bordism of groups
by: Whitgift, D.
Published: (1982)

Multimonopoles in gauge field theories
by: Soper, A. J.
Published: (1983)

On the theory of point weight designs
by: Dent, Alexander William
Published: (2002)

Topics in univalent funtion theory
by: Taha, T. S.
Published: (1980)

A theory of finite sets
by: Prigmore, Martyn
Published: (1994)

Some problems in group theory
by: Teitler, D. R. M.
Published: (1982)

Some problems in group theory
by: Mann, A. J. S.
Published: (1983)

Some aspects of lattice theory
by: Pareek, R. L.
Published: (1982)

Computational aspects of singularity theory
by: Kirk, Neil Patrick
Published: (1993)

Twistor theory and the Einstein equations
by: Law, P. R.
Published: (1982)

Some problems in diffraction theory
by: Saward, Victoria Helen
Published: (1997)

Topics in algebraic coding theory
by: Lander, E. S.
Published: (1980)

Some topics in group theory
by: Evans, D. M.
Published: (1985)

Bounded geometry index theory
by: Mavra, Boris
Published: (1995)

Some problems in matroid theory
by: Lemos, M. J. M. S.
Published: (1988)

Symplectic geometry and gauge theory
by: Martin, Shaun K.
Published: (1997)

Some problems in matroid theory
by: Sims, J. A.
Published: (1980)

Seifert manifolds and gauge theory
by: Nasatyr, Emile Ben
Published: (1991)

Some topics in combinatorial theory
by: Walton, P.
Published: (1981)

New foundations for recursion theory
by: Garcia, N. M. L.
Published: (1980)

Topics in Banach space theory
by: Jiang, Zhu
Published: (1991)

Gauge theory and complex manifolds
by: Munoz, Vicente
Published: (1986)