Retractions of Types with Many Atoms
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
We define a sound and complete proof system for affine beta-eta-retractions in simple types built over many atoms, and we state simple necessary conditions for arbitrary beta-eta-retractions in simple and polymorphic types.
First International Workshop on Isomorphisms of Types Toulouse, France, 8-9 november 2002
First International Workshop on Isomorphisms of Types Toulouse, France, 8-9 november 2002