Вы здесь

Polakow J.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Natural Deduction Intuitionistic Non-commutative Linear Logic 1999 Polakow J., Pfenning F. Lecture Notes in Computer Science 21.04.1999
СТ Proving Syntactic Properties of Exceptions in an Ordered Logical Framework 2001 Polakow J., Yi K. Lecture Notes in Computer Science 06.04.2001
СТ System E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types 2004 Carlier S., Polakow J., Wells J. B., Kfoury A. J. Lecture Notes in Computer Science 23.04.2004