Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedingsсборник
Статьи, опубликованные в сборнике
-
-
2001
Reflective λ-calculus
-
Artemov Sergei,
Alt Jesse
-
в сборнике Proof Theory in Computer Science, International Seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings, серия Lecture Notes in Computer Science, место издания Springer, том 2183, с. 22-37
DOI