scientific article; zbMATH DE number 1342276
From MaRDI portal
Publication:4263866
zbMath0931.03021MaRDI QIDQ4263866
Pietro Di Gianantonio, Furio Honsell, Gianluca Franco
Publication date: 22 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (12)
Games characterizing Levy-Longo trees ⋮ Adapting innocent game models for the Böhm tree \(\lambda\)-theory ⋮ A General Class of Models of $\mathcal{H}^*$ ⋮ A type assignment system for game semantics ⋮ Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus ⋮ Unfixing the Fixpoint: The Theories of the λY-Calculus ⋮ Unnamed Item ⋮ Linear realizability and full completeness for typed lambda-calculi ⋮ Innocent game models of untyped \(\lambda\)-calculus ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for publication:
