TY  - RPRT
TI  - Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications
AU  - Simona Ronchi della Rocca
AU  - Elaine Pimentel
PY  - 2012
DO  - 10.4204/eptcs.81
UR  - https://arxiv.org/abs/1203.5423
ID  - 1203.5423
ER  -