A type assignment system for game semantics
type: Item
instance of: scholarly article
title: A type assignment system for game semantics
zbMATH Open document ID: 1146.68048
author: Pietro Di Gianantonio
author: Furio Honsell
author: Marina Lenisa
published in: Theoretical Computer Science
publication date: 2008-06-24T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 5292223
zbMATH Keywords: lambda-calculus
zbMATH Keywords: game semantics
zbMATH Keywords: type assignment system
MaRDI profile type: Publication
full work available at URL: j.tcs.2008.01.023
OpenAlex ID: W2141094540
cites work: Domain theory in logical form
cites work: Retracing some paths in process algebra
cites work: Geometry of Interaction and linear combinatory algebras
cites work: Full abstraction for PCF
cites work: Linear realizability and full completeness for typed lambda-calculi
cites work: A complete characterization of complete intersection-type preorders
cites work: A filter lambda model and the completeness of type assignment
cites work: An extension of basic functionality theory for \(\lambda\)-calculus
cites work: Q3221961
cites work: Functional Characters of Solvable Terms
cites work: Q4472465
cites work: Q4263866
cites work: Q3824307
cites work: Types for Proofs and Programs
cites work: Principal type schemes for an extended type theory
DOI: 10.1016/J.TCS.2008.01.023
description: scientific article; zbMATH DE number 5292223