Unifying Sets and Programs via Dependent Types

Wojciech Moczydlowski. Unifying Sets and Programs via Dependent Types. In Sergei N. Artëmov, Anil Nerode, editors, Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings. Volume 5407 of Lecture Notes in Computer Science, pages 365-379, Springer, 2009. [doi]

Abstract

Abstract is missing.