Zena M. Ariola and Hugo Herbelin. Minimal classical logic and control operators. In Thirtieth International
Colloquium on Automata, Languages and Programming , ICALP’03, Eindhoven, The Netherlands,
June 30 — July 4, 2003, volume 2719 of Lecture Notes in Computer Science, pages 871—885.
Springer-Verlag, 2003.[1]Архивная копия от 18 июля 2008 на Wayback Machine
web.archive.org
Zena M. Ariola and Hugo Herbelin. Minimal classical logic and control operators. In Thirtieth International
Colloquium on Automata, Languages and Programming , ICALP’03, Eindhoven, The Netherlands,
June 30 — July 4, 2003, volume 2719 of Lecture Notes in Computer Science, pages 871—885.
Springer-Verlag, 2003.[1]Архивная копия от 18 июля 2008 на Wayback Machine
