Programming autonomous robots in Curry (0)

by M Hanus, K Höppner
Venue:Electronic Notes in Theoretical Computer Science