Обзоры
Отзывов пока нет
Станьте первым, кто оставит отзыв об этой книге и поделится своими мыслями
Войдите, чтобы оставить отзыв
Adapting Proofs-as-Programs: The Curry-Howard Protocol
Оценок пока нет