scientific article; zbMATH DE number 2185717

MaRDI QIDQ3024909zbMATHFDO

Authors Hugo Herbelin

Publication date 4 July 2005

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)

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

Cited in

(3)

• Game semantics and normalization by evaluation
• On full abstraction for PCF: I, II and III
• On classical PCF, linear logic and the MIX rule

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)