A co-induction principle for recursively defined domains /
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, [1992].
Subjects: Abstract data types (Computer science)
Recursive functions.
Physical Description: 25 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

Non-trivial power types can't be subtypes of polymorphic types

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

Evaluation logic

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

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

Children's literature in the elementary school

Author: Huck, Charlotte S.
Published: 1987

Hard time : understanding and reforming the prison

Author: Johnson, Robert, 1948-
Published: 1987

Course taking, achievement, and curricular policy

Author: Sebring, Penny A.
Published: 1987

The Geography of defence

Author: Riley, R. C., 1931-
Published: 1987

Aging and the immune response : cellular and humoral aspects

Author: Goidl, Edmond A., 1938-
Published: 1987