scientific article; zbMATH DE number 1956502

MaRDI QIDQ4417848zbMATH OpenFDO

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

Mathematics Subject Classification ID

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

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

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
• A game semantics for generic polymorphism
• Deconstructing general references via game semantics
• 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)