External Links

    Journal: Logical Methods in Computer Science

    Volume 13, Issue 1

    0 -- 0Pablo Arrighi, Gilles Dowek. Lineal: A linear-algebraic Lambda-calculus
    0 -- 0Danny Rorabaugh, Claude Tardif, David L. Wehlau. Logical compactness and constraint satisfaction problems
    0 -- 0Yasuyuki Tsukamoto. Existence of strongly proper dyadic subbases
    runs on