vix.ing · top · new · best · stats · spec

Massimiliano Coppo

  1. An extension of the basic functionality theory for the λ-calculus.
    1980/10/01 by M. Coppo, Massimiliano Coppo, M. Dezani-Ciancaglini +1 · 6 citations
    Computer Science · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Advanced Database Systems and Queries