User contributions

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

22:56, 2 May 2009 (diff | hist) . . (-15)‎ . . m Relational semantics ‎ (→‎Monoidal structure: redundancy)
11:43, 6 February 2009 (diff | hist) . . (+49)‎ . . N User:Lionel Vaux ‎ (New page: [http://www.lama.univ-savoie.fr/~vaux/ Home Page]) (current)

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

Show contributions of new accounts only IP address or username:
Namespace:	Invert selection Associated namespace

Deleted only Only show edits that are latest revisions
From year (and earlier): From month (and earlier):