Вы здесь

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