Search results for: Gilles Muller
Electronic Notes in Theoretical Computer Science > 2007 > 166 > Complete > 47-62
Higher-Order and Symbolic Computation > 2000 > 13 > 3 > 161-178
Electronic Notes in Theoretical Computer Science > 2007 > 166 > Complete > 47-62
Higher-Order and Symbolic Computation > 2000 > 13 > 3 > 161-178