Non-trivial power types can't be subtypes of polymorphic types /
by Andrew M. Pitts.

Description

Tools

Cite this Export citation file

Main Author: Pitts, A. M. (Andrew M.)
Language(s): English
Published: Cambridge [Cambridgeshire] : University of Cambridge, Computer Laboratory, 1989.
Subjects: Type theory.
Lambda calculus.
Note: "January 1989."
Physical Description: 12 p. ; 21 cm.
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Limited (search only)	University of California

View HathiTrust MARC record

Similar Items

Evaluation logic

Author: Pitts, A. M. (Andrew M.)
Published: 1990

A co-induction principle for recursively defined domains

Author: Pitts, A. M. (Andrew M.)
Published: 1992

Parametric polymorphism and operational equivalence

Author: Pitts, A. M. (Andrew M.)
Published: 1998

New foundations for fixpoint computations : fix-hyperdoctrines and the fix-logic

Author: Crole, Roy L.
Published: 1990

Computer mapping, design, and geographical information system options for Arlington County

Author: Arlington County, Va. Computer Mapping Task Force.
Published: 1987

To the Kwai and back : war drawings 1939-1945

Author: Searle, Ronald, 1920-2011.
Published: 1986

The isomonodromic deformation method in the theory of Painlevé equations

Author: Its, Alexander R
Published: 1986

Keeping up with Kundalini yoga : exercises and meditations for the daily practice of Kundalini yoga

Published: 1985

The black hunter : forms of thought and forms of society in the Greek world

Author: Vidal-Naquet, Pierre, 1930-2006.
Published: 1986

Maps & globes

Author: Knowlton, Jack.
Published: 1985