scientific article; zbMATH DE number 1956502

zbMATH Open1029.68038MaRDI QIDQ4417848FDOQ4417848

Authors: Samson Abramsky, Radha Jagadeesan 

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2620/26200001.htm

Title of this publication is not available (Why is that?)

Recommendations

• A game semantics for generic polymorphism
• The genericity theorem and parametricity in the polymorphic \(\lambda\)- calculus
• Game semantics for a polymorphic programming language
• Game semantics for call-by-value polymorphism
• Game semantics for bounded polymorphism

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Abstract data types; algebraic specification (68Q65)

Cited In (10)

• Game semantics for a polymorphic programming language
• Genericity and the \(\pi\)-calculus
• Second-order type isomorphisms through game semantics
• Game semantics for bounded polymorphism
• Game semantics for dependent types
• Deconstructing general references via game semantics
• A game semantics for generic polymorphism
• Games for dependent types
• Polymorphic game semantics for dynamic binding
• Game semantics for call-by-value polymorphism

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4417848)