245 search results - page 2 / 49 » On Isomorphisms of Intersection Types |
TAMC
2010
Springer
13 years 9 months ago
2010
Springer
In this paper, the twisted Jacobi intersections which contains Jacobi intersections as a special case is introduced. We show that every elliptic curve over the prime field with t...
ENTCS
2002
13 years 4 months ago
2002
This paper defines reduction on derivations in the strict intersection type assignment system of [2], by generalising cut-elimination, and shows a strong normalisation result for ...
ESOP
2004
Springer
13 years 10 months ago
2004
Springer
CORR
2010
Springer
13 years 2 months ago
2010
Springer
MPC
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...