[TYPES] Kothe space models of Haghverdi combinators?

[Meredith Gregory]

Well-and-untyped alike,

i'm just starting to dig more deeply into the differential lambda calculus
models and it occurred to me that a goal-driven way to get into the
calculations would be to crank out the Kothe-space models [1][2] of the
Haghverdi combinators [3][4]. Does anyone on this list know if anybody has
already done these calculations so i can compare my results?

Best wishes,

--greg

[1] http://www.pps.jussieu.fr/~ehrhard/pub/kothe.pdf
[2] http://www.pps.jussieu.fr/~ehrhard/pub/difflamb.pdf
[3] http://xavier.informatics.indiana.edu/~ehaghver/HS-TCS-04.pdf
[4] http://xavier.informatics.indiana.edu/~ehaghver/main7.ps

-- 
L.G. Meredith
Managing Partner
Biosimilarity LLC
505 N 72nd St
Seattle, WA 98103

+1 206.650.3740

http://biosimilarity.blogspot.com