[D66] Typed Program Examples in Genesis

[René Oudeweg]

[paper!]

Typed Program Examples in Genesis
Anonymous

Overview

This document presents illustrative, typed program examples for Genesis, 
a structural extension
of the Turing machine. Each example demonstrates the interaction between 
program structure
and the four primitive operators: □ (stability), △ (generativity), ◦ 
(reflection), and . . . (open continuation).
Typing judgments are provided to clarify the intended semantics.


RO
-------------- next part --------------
A non-text attachment was scrubbed...
Name: examples.pdf
Type: application/pdf
Size: 122291 bytes
Desc: not available
URL: <http://www.tuxtown.net/pipermail/d66/attachments/20251227/923abf29/attachment-0001.pdf>