Delta lenses over inductive types
-
- Pacheco
- 作成者
収録刊行物
-
- Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
-
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 2012