TY  - RPRT
TI  - Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks
AU  - Furio Honsell
AU  - Luigi Liquori
AU  - Petar Maksimović
AU  - Ivan Scagnetto
PY  - 2015
DO  - 10.4204/eptcs.185.1
UR  - https://arxiv.org/abs/1507.08051
ID  - 1507.08051
ER  -