Delta lenses over inductive types
-
- Pacheco
- Creator
Journal
-
- Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
-
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 49 2012