A Monadic Interpretation of Tactics

Библиографические подробности
Главные авторы: Martin, A, Gibbons, J
Формат: Record
Опубликовано: 2015