A note on higher-order functions versus logical variables

DOI10.1016/0020-0190(89)90074-4zbMath0685.68018OpenAlexW2161930435MaRDI QIDQ1262113

F. Warren Burton

Publication date: 1989

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(89)90074-4

zbMATH Keywords

unificationfunctional programminghigher-order functions

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Data structures (68P05) General topics in the theory of software (68N01)

Uses Software

• Miranda

Cites Work

• Functional programs as executable specifications

This page was built for publication: A note on higher-order functions versus logical variables