Categorical fixed point calculus

R.C. Backhouse, M.L.L. Bijsterveld, H.P.J. Geldrop - van Eijk, van, J.C.S.P. Woude, van der

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

28 Citaten (Scopus)
1 Downloads (Pure)

Samenvatting

A number of lattice-theoretic fixed point rules are generalised to category theory and applied to the construction of isomorphisms between list structures.
Originele taal-2Engels
TitelCategory Theory and Computer Science (Proceedings 6th International Conference, CTCS'96, Cambridge, UK, August 7-11, 1995)
RedacteurenD.H. Pitt, D.E. Rydeheard, P. Johnstone
Plaats van productieBerlin
UitgeverijSpringer
Pagina's159-179
ISBN van geprinte versie3-540-60164-3
DOI's
StatusGepubliceerd - 1995

Publicatie series

NaamLecture Notes in Computer Science
Volume953
ISSN van geprinte versie0302-9743

Vingerafdruk

Duik in de onderzoeksthema's van 'Categorical fixed point calculus'. Samen vormen ze een unieke vingerafdruk.

Citeer dit