Searching for authors named "Neil Ghani" – sorted by Relevance.
35 documents found, showing 1 through 10.
Next 10 →
-
betaeta-Equality for Coproducts
- …fij-Equality for Coproducts Neil Ghani LFCS, Department of Computer Science University…
- Add To MetaCart
-
Eta-Expansions III - F omega
- …Eta-Expansions III --- F ! Neil Ghani LIENS-DMI, Ecole Normale Superieure 45, Rue D'Ulm, 75230…
- Add To MetaCart
-
Adjoint Rewriting and the !-type constructor
- …Adjoint Rewriting and the !-type constructor Neil Ghani LIENS-DMI, Ecole Normale Superieure 45…
- Cited by 4 (2 self) – Add To MetaCart
-
βη-equality for coproducts
- … fij-Equality for Coproducts NEIL GHANI LIENS-DMI, Ecole Normale Superieure, 45 Rue D'Ulm, 75230…
- Cited by 24 (7 self) – Add To MetaCart
-
Eta Expansions in System F
- …Eta Expansions in System F Neil Ghani LIENS-DMI, Ecole Normale Superieure 45, Rue D'Ulm, 75230…
- Cited by 6 (0 self) – Add To MetaCart
-
Eta-Expansions in Dependent Type Theory - The Calculus of Constructions
- …Eta-Expansions in Dependent Type Theory --- The Calculus of Constructions Neil Ghani LIENS…
- Cited by 12 (0 self) – Add To MetaCart
-
Adjoint Rewriting
- …1 Adjoint Rewriting Neil Ghani Ph.D. University of Edinburgh Graduation November 1995 2 3…
- Cited by 26 (9 self) – Add To MetaCart
-
Monads and Modular Term Rewriting
- …Monads and Modular Term Rewriting Christoph Luth 1 and Neil Ghani 2 1 Bremen Institute…
- Add To MetaCart
-
Explicit Substitutions and Higher-Order Syntax (Extended Abstract)
- …Explicit Substitutions and Higher-Order Syntax [Extended Abstract] Neil Ghani Dept. of Math…
- Cited by 4 (2 self) – Add To MetaCart
-
Monads and Modularity
- …Monads and Modularity Christoph Luth 1 and Neil Ghani 2 1 FB 3 | Mathematik und Informatik…
- Cited by 6 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
