Towards a minimal calculus for complexation

authors: 
C. Di Giusto, C. Versari and A. Vitale
reference: 
In CMSB 2009, poster session. Appeared as Technical Report of University of Pisa: TR-09-09
year: 
2009
resources: 
abstract: 
We present here a termination preserving encoding of Minsky Ma- chines in a particularly restricted fragment of the κ-calculus where only one species with no fields is admitted and only binary rules are allowed.