scientific article; zbMATH DE number 2185717

zbMATH Open1063.68563MaRDI QIDQ3024909FDOQ3024909

Hugo Herbelin

Publication date: 4 July 2005

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

Recommendations

• On full abstraction for PCF: I, II and III
• scientific article; zbMATH DE number 1497810
• Full abstraction for PCF
• Interactive models of computation and program behavior
• Polarized games

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Cited In (1)

• On full abstraction for PCF: I, II and III

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