Publication:2766804

zbMath0988.68542MaRDI QIDQ2766804

David Delahaye

Publication date: 22 July 2002

Mathematics Subject Classification ID

68P20: Information storage and retrieval of data

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

03B40: Combinatory logic and lambda calculus

Related Items

A Foundational View on Integration Problems, Integrating searching and authoring in Mizar

Uses Software

• Coq
• OCaml