Вы здесь
Ghani N.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Constructing Polymorphic Programs with Quotient Types | 2004 | Abbott M., Altenkirch Th., Ghani N., Mcbride C. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 03.09.2004 | ||
СТ | Eta-Expansions in F | 1997 | Ghani N. | Lecture Notes in Computer Science | 18.07.1997 | |||
СТ | Eta-Expansions in Dependent Type Theory - The Calculus of Constructions | 1997 | Ghani N. | Lecture Notes in Computer Science | 11.04.1997 | |||
СТ | -Equality for Coproducts | 1995 | Ghani N. | Lecture Notes in Computer Science | 15.04.1995 |