TY  - RPRT
TI  - Standardization in resource lambda-calculus
AU  - Maurizio Dominici
AU  - Simona Ronchi Della Rocca
AU  - Paolo Tranquilli
PY  - 2012
DO  - 10.4204/eptcs.101.1
UR  - https://arxiv.org/abs/1211.4097
ID  - 1211.4097
ER  -