scientific article; zbMATH DE number 1370937

MaRDI QIDQ3835834zbMATH OpenFDO

Authors

Publication date 28 November 1999

zbMATH Keywords

Cambridge (GB)Higher-order operational techniquesHOOTSProceedingsSemanticsWorkshop

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Semantics in the theory of computing (68Q55)

Recommendations

• HOOTS '99. Higher order operational techniques in semantics. Paris, France, September 30 and October 1, 1999
• HOOTS II. 2nd workshop on Higher-order operational techniques in semantics. Stanford Univ., Palo Alto, CA, USA, December 8--12, 1997
• HOOTS 2000. 4th international workshop on higher order operational techniques in semantics (satellite to PLI 2000), Montreal, Canada, September 22, 2000. Proceedings
• Proceedings of the workshop on structural operational semantics (SOS 2004), London, UK, August 30, 2004
• Higher-order semantics and extensionality
• A structural approach to operational semantics
• Proceedings Sixth Workshop on Structural Operational Semantics
• Higher-order algebra, logic, and term rewriting. 1st International Workshop, HOA '93, Amsterdam, the Netherlands, September 23-24, 1993. Selected papers
• From operational to denotational semantics
• Automata, Languages and Programming

Cited in

(1)

• HOOTS 2000. 4th international workshop on higher order operational techniques in semantics (satellite to PLI 2000), Montreal, Canada, September 22, 2000. Proceedings

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