Space is that which is well typed

I’m about to reconsider my previous impression about types as only decorations over the artificial chemistry.
TLDR; Space is that which is well typed.

However well typed should only have a local meaning, as usual in chemlambda.

Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s