7
6
Functional programming and William Lawvere's notion of "variable sets"(vs topos of "static sets") in a Topos ...
by Vasili I. Galchin 04 Sep '14
by Vasili I. Galchin 04 Sep '14
04 Sep '14
2
1
5
6
1
0
1
0
1
0
1
0
2
1
Postdoc Position on Verification of Asynchronously Communicating Systems, Inria/LIG, Grenoble, France
by Gwen.Salaunļ¼ inria.fr 19 Aug '14
by Gwen.Salaunļ¼ inria.fr 19 Aug '14
19 Aug '14
1
0
1
0