Back to Results
First PageMeta Content
Functors / Procedural programming languages / Adjoint functors / Monoidal categories / Yoneda lemma / Natural transformation / Hom functor / ALGOL 68 / Subcategory / Category theory / Mathematics / Abstract algebra


McCusker, G. A. and Power, J[removed]Modelling local variables: possible worlds and object spaces. Electronic Notes in Theoretical Computer Science, 265. pp[removed]ISSN[removed]Link to official URL (if available): h
Add to Reading List

Document Date: 2014-02-05 00:10:59

Open Document

File Size: 273,02 KB

Share Result on Facebook

City

Bath / /

Company

C. / /

/

Facility

Computer Science University of Bath / /

IndustryTerm

tensor product / distributive law / finite products / cartesian product / /

Organization

United Kingdom John Power2 Department / University of Bath / Computer Science University / University of Bath Online Publication Store / Guy McCusker1 Department / /

Person

Reynolds / Idealised Algol / /

Position

first author / functor-category model of Idealised Algol / guard / model / object-spaces model / model of Idealised Algol / /

PublishedMedium

Electronic Notes in Theoretical Computer Science / /

URL

www.elsevier.nl/locate/entcs / http /

SocialTag