Retractions of Types with Many Atoms

Simple item page
dc.creatorRegnier, Laurent
dc.creatorUrzyczyn, Pawel
dc.date2002-12-05
dc.date.accessioned2026-07-07T03:19:12Z
dc.date.available2026-07-07T03:19:12Z
dc.descriptionWe 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.
dc.descriptionFirst International Workshop on Isomorphisms of Types Toulouse, France, 8-9 november 2002
dc.identifierhttps://arxiv.org/abs/cs/0212005
dc.identifierhttp://arxiv.org/abs/cs/0212005
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/31368
dc.subjectLogic in Computer Science
dc.subjectF.4.1
dc.titleRetractions of Types with Many Atoms
dc.typetext

Files

Collections

arXiv