7 citations · 18 across the 6 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.LO2010★ 4 cited
On the meaning of logical completeness
Michele Basaldella, Kazushige Terui
Goedel's completeness theorem is concerned with provability, while Girard's theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proofs. O…
cs.LO2010★ 7 cited
Semantics of Typed Lambda-Calculus with Constructors
Barbara Petit
We present a Curry-style second-order type system with union and intersection types for the lambda-calculus with constructors of Arbiser, Miquel and Rios, an extension of lambda-ca…