„λ-calculus“

Suchergebnisse

2 Treffer

• A note on the proof theory the λII-calculus
  Pym, David J.
• A Concrete Categorical Model for the Lambek Syntactic Calculus
  Da Silva Corrêa, Marcelo ; Haeusler, Edward Hermann