scientific article
From MaRDI portal
Publication:2766795
zbMath0988.68054MaRDI QIDQ2766795
Publication date: 22 July 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Verifying termination and reduction properties about higher-order logic programs ⋮ A sound strategy to compile general recursion into finite depth pattern matching ⋮ Termination checking with types ⋮ Compositional Coinduction with Sized Types
This page was built for publication:
