•  4
    Miguel Ángel Ferrando Palacios
    with Sergio Armstrong Cox and Fernando Soler
    Teología y Vida 61 (3): 405-409. 2020.
  •  7
    A Concrete Categorical Model For The Lambek Syntactic Calculu
    Mathematical Logic Quarterly 43 (1): 49-59. 1997.
    We present a categorical/denotational semantics for the Lambek Syntactic Calculus, indeed for a λlD-typed version Curry-Howard isomorphic to it. The main novelty of our approach is an abstract noncommutative construction with right and left adjoints, called sequential product. It is defined through a hierarchical structure of categories reflecting the implicit permission to sequence expressions and the inductive construction of compound expressions. We claim that Lambek's noncommutative product …Read more
  •  19
    A Concrete Categorical Model for the Lambek Syntactic Calculus
    Mathematical Logic Quarterly 43 (1): 49-59. 1997.
    We present a categorical/denotational semantics for the Lambek Syntactic Calculus , indeed for a λlD-typed version Curry-Howard isomorphic to it. The main novelty of our approach is an abstract noncommutative construction with right and left adjoints, called sequential product. It is defined through a hierarchical structure of categories reflecting the implicit permission to sequence expressions and the inductive construction of compound expressions. We claim that Lambek's noncommutative product…Read more