[TYPES] What algebra am I thinking of?

Philip Wadler wadler at inf.ed.ac.uk
Mon Mar 26 19:30:32 EDT 2018

Consider a blockchain managing several different resources. Over time, new
resources may be added or deleted. Each input to or output from a
transaction is associated with a value, where each value consists of
associating zero or more resources with amounts, where the amounts are
natural numbers (that is, integers greater than or equal to zero).

What kind of algebra do values correspond to? It seems similar to vector
spaces, except:
  (a) adding or deleting resources increases or decreases the number of
dimensions in the vector space
  (b) the scalars in the vector space are natural numbers rather than reals

What algebra am I thinking of? Cheers, -- P

.   \ Philip Wadler, Professor of Theoretical Computer Science,
.   /\ School of Informatics, University of Edinburgh
.  /  \ and Senior Research Fellow, IOHK
. http://homepages.inf.ed.ac.uk/wadler/
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-list/attachments/20180326/46e99024/attachment.ksh>

More information about the Types-list mailing list