![](/img/cover-not-exists.png)
A computational view of implicit coercions in type theory
BARTHE, GILLESVolume:
15
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129505004901
Date:
October, 2005
File:
PDF, 443 KB
english, 2005