[CST-2] Types
M.Y.W.Y. Becker
mywyb2@cam.ac.uk
Sat, 02 Jun 2001 14:35:29 +0100
Previous message:
[CST-2] Types
Next message:
[CST-2] IT&C - 99 P9, Q11
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Just for completeness: Lift_g_d = \f:g->d, x:Opt_g (x Opt_d None_d \y:g(Some_d(f y))). Mo
Previous message:
[CST-2] Types
Next message:
[CST-2] IT&C - 99 P9, Q11
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]