Constructor subtyping in the Calculus of Inductive Constructions
| Autor: | Barthe, G., van Raamsdonk, F., Tiuryn, J. |
|---|---|
| Přispěvatelé: | Theoretical Computer Science |
| Jazyk: | angličtina |
| Rok vydání: | 2000 |
| Zdroj: | Proceedings of FOSSACS 2000, 17-34 STARTPAGE=17;ENDPAGE=34;TITLE=Proceedings of FOSSACS 2000 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|