[TYPES] Kothe space models of Haghverdi combinators?
lgreg.meredith at gmail.com
Fri Aug 24 21:41:54 EDT 2007
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  of the
Haghverdi combinators . Does anyone on this list know if anybody has
already done these calculations so i can compare my results?
505 N 72nd St
Seattle, WA 98103
More information about the Types-list