scientific article; zbMATH DE number 7324387

zbMath1457.68062arXiv1202.3498MaRDI QIDQ5854735

Axel Haddad

Publication date: 17 March 2021

Full work available at URL: https://arxiv.org/abs/1202.3498

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic, Cost Automata, Safe Schemes, and Downward Closures, Krivine machines and higher-order schemes, Unnamed Item, Domains for Higher-Order Games, The IO and OI hierarchies revisited