TY  - RPRT
TI  - Extensions of Scott's Graph Model and Kleene's Second Algebra
AU  - Jaap van Oosten
AU  - Niels Voorneveld
PY  - 2016
UR  - https://arxiv.org/abs/1610.04050
ID  - 1610.04050
ER  -