scientific article; zbMATH DE number 910819

zbMATH Open0849.90010MaRDI QIDQ4885989FDOQ4885989

Authors: Ehud Kalai, Dov Samet 

Publication date: 3 September 1996

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

Recommendations

• Type decomposition in NIP theories
• scientific article; zbMATH DE number 2185650
• Type-driven defunctionalization
• Polymorphic typed defunctionalization and concretization
• Type inference, abstract interpretation and strictness analysis
• Type inference for pure type systems
• Typing in pure type systems
• On non-trivially decomposable types
• Erasure and Polymorphism in Pure Type Systems
• scientific article; zbMATH DE number 3930968

zbMATH Keywords

delegation gameNash incentive compatibleperfectly implementablerevelation game

Mathematics Subject Classification ID

Social choice (91B14) Other game-theoretic models (91A40)

Cited In (1)

• Implementation in economic environments with incomplete information: The use of multi-stage games

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 Q4885989)