Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in...

  • Main
  • [IEEE 2015 30th Annual ACM/IEEE...

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - Polarised Intermediate Representation of Lambda Calculus with Sums

Munch-Maccagnoni, Guillaume, Scherer, Gabriel
Наскільки Вам сподобалась ця книга?
Яка якість завантаженого файлу?
Скачайте книгу, щоб оцінити її якість
Яка якість скачаних файлів?
Рік:
2015
DOI:
10.1109/lics.2015.22
Файл:
PDF, 299 KB
2015
Виконується конвертація в
Конвертація в не вдалась